Pinned Loading

1. z3_tutorial z3_tutorial Public

   Jupyter notebooks for tutorial on the Z3 SMT solver

   Jupyter Notebook 169 24

2. awesome-egraphs awesome-egraphs Public

   An awesome list of e-graph resources

   357 18

3. knuckledragger knuckledragger Public

   A Low Barrier Proof Assistant

   Python 173 9

4. fib-anyon fib-anyon Public

   An implementation of Fibonacci Anyons in Haskell

   Haskell 22 7

5. FlapPyBird-MPC FlapPyBird-MPC Public

   Forked from sourabhv/FlapPyBird

   Model Predictive Control of a Flappy Bird Clone using Mixed Integer Programming

   Python 80 14

6. egglog0 egglog0 Public

   Datalog + Egg = Good

   Rust 66 3