m-schm

m-schm's starred repositories

Write expressive, high-performance parsers with ease.

Language:RustMIT3550 24 274

Koka language compiler and interpreter

Language:HaskellNOASSERTION3250 60 316

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION2476 64 5486

An introduction to programming language theory in Agda

Language:AgdaCC-BY-4.01356 23 256

Functional programming with fewer indirections

Language:HaskellBSD-3-Clause758 49 85

Minimal implementations for dependent type checking and elaboration

Language:HaskellBSD-3-Clause601 40 32

Optics as an abstract interface

Language:Haskell374 20 183

Generalized bananas, lenses and barbed wire

Language:HaskellNOASSERTION336 19 70

Fake dependent types in Haskell using singletons

Language:Haskell286 17 397

A dependent type theory with user defined data types

Language:OCaml46 3 3

a self-hosting lambda calculus compiler

Language:HaskellBSD-3-Clause34 30