Stars
5
stars
written in Haskell
Clear filter
optics for Haskell with the most amazing type errors you've seen
A toolkit for enforcing logical specifications on neural networks
OpenGL-based rendering engine with embedded language that compiles to GLSL.
Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.