All Git Users → philzook58

3 open source projects by philzook58

[ Open user page on Github ]

An implementation of Fibonacci Anyons in Haskell

✭ 18

haskell functional vector typelevel quantum-computing tensor anyon topological-quantum-computation

Automatic Differentiation using Pseudo Lenses. Neat.

✭ 16

haskell vector automatic-differentiation category-theory matrices lens

Jupyter notebooks for tutorial on the Z3 SMT solver

✭ 117

Jupyter Notebook tutorial jupyter z3 formal-methods smt smt-solver

1-3 of 3 user projects