Pinned

1. z3_tutorial Public

   Jupyter notebooks for tutorial on the Z3 SMT solver

   Jupyter Notebook 114 15

2. fib-anyon Public

   An implementation of Fibonacci Anyons in Haskell

   Haskell 19 4

3. nand2coq Public

   Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

   Coq 43 3

4. ad-lens Public

   Automatic Differentiation using Pseudo Lenses. Neat.

   Haskell 16 1

5. FlapPyBird-MPC Public

   Forked from sourabhv/FlapPyBird

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

   Python 61 12

6. egglog Public

   A prolog like syntax for egg

   Rust 28 3