Popular repositories Loading

1. satcolors satcolors Public

   Easy to use high-level objects for SAT solving, including logical expressions, scalars, and matrices.

   C++

2. gitbuttontest gitbuttontest Public

   Testing adding a "publish to git" button to a jupyter notebook.

   Jupyter Notebook

3. fallingblocksgame fallingblocksgame Public

   A falling blocks game with the name that one doesn't want to write on the Internet. Educational project only.

   C++

4. chor-deep-learning chor-deep-learning Public

   Jupyter Notebook

5. marimo marimo Public

   Forked from marimo-team/marimo

   A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

   Python