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. hannah hannah Public

   Python