Philip Zucker
Results
11
repositories owned by
Philip Zucker
z3_tutorial
146
Stars
19
Forks
Watchers
Jupyter notebooks for tutorial on the Z3 SMT solver
ad-lens
19
Stars
1
Forks
Watchers
Automatic Differentiation using Pseudo Lenses. Neat.
fib-anyon
21
Stars
7
Forks
Watchers
An implementation of Fibonacci Anyons in Haskell
FlapPyBird-MPC
77
Stars
14
Forks
Watchers
Model Predictive Control of a Flappy Bird Clone using Mixed Integer Programming
lens-algebra
19
Stars
0
Forks
Watchers
Type level algebraic "proofs" using lens combinators
nand2coq
53
Stars
3
Forks
Watchers
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).