Stars
17
stars
written in Haskell
Clear filter
Minimal implementations for dependent type checking and elaboration
A language for intent-centric and declarative decentralised applications
A theory‑backed, ultra type‑safe algebraic effects
A cellular automaton for studying self-modifying agents which are embedded in their environment
A toolkit for enforcing logical specifications on neural networks
Prototype implementations of systems based on setoid type theory
System benchmarking for proof assistants