derivative-parsing

Parsing with Derivatives, in Haskell, with GADTs.

type-systems

haskell-proofs

Examples using dependent types for mathematical proofs at the type level

ui-effects

An experiment towards a UI programming model inspired by algebraic effects.

seq

a µµ̃ calculus with pretty-printing and evaluating interpreters

interval-functor

General purpose intervals of functors.

path

A lambda calculus to explore type-directed program synthesis.

sprite-lang

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

Manifold

Another experiment in dependently typed languages, this time with some quantitative type theory s...

higher-rank

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Po...

abstract-interpretation

Experiments in abstracting definitional interpreters

coatl

silly dependently-typed language

language-haskell-ast

Generic interface over the AST provided by haskell-src-exts

cha

A port of miniprl to Haskell with co-/inductive types bolted on the side.

tilec

Sometimes when I feel sad I implement a dependently typed lambda calculus.