m-schm's Stars
zesterer/chumsky
Write expressive, high-performance parsers with ease.
koka-lang/koka
Koka language compiler and interpreter
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
plfa/plfa.github.io
An introduction to programming language theory in Agda
ollef/sixten
Functional programming with fewer indirections
AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
well-typed/optics
Optics as an abstract interface
recursion-schemes/recursion-schemes
Generalized bananas, lenses and barbed wire
goldfirere/singletons
Fake dependent types in Haskell using singletons
mmcqd/datatt
A dependent type theory with user defined data types
bkomuves/nanohs
a self-hosting lambda calculus compiler