HaskSymb

r5rs-denot

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.

coda

A language experiment -- irc.freenode.net ##coda

tilec

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

haskell-rascal

Learning haskell with a rascal!

Manifold

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

Caramel

A modern syntax for the λ-calculus.

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

transmogrify

Transmogrify Haskell values with the same overall shape

tagless

oleg modules

type-systems

stepeval

A program for evaluating a Haskell expression step-by-step

fp-course

Functional Programming Course

pLam

An interpreter for learning and exploring pure λ-calculus

ill

educational compiler for not (quite) toy languages

jace

just another compiler experiment