Pinned Loading

1. z3_tutorial z3_tutorial Public

   Jupyter notebooks for tutorial on the Z3 SMT solver

   Jupyter Notebook 154 19

2. awesome-egraphs awesome-egraphs Public

   An awesome list of e-graph resources

   94 4

3. knuckledragger knuckledragger Public

   Semi-Automated Python Proof Assistant

   Python 53 2

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 77 14

6. egglog0 egglog0 Public

   Datalog + Egg = Good

   Rust 65 3