A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

Minimal implementations for dependent type checking and elaboration

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

A modern syntax for the λ-calculus.

A bare-bones calculus-of-constructions

A demo web browser engine written in Haskell

A simple Wolfram Language clone in Haskell

optics for Haskell with the most amazing type errors you've seen

The Art of the Propagator. See also:

Exploring Elm on the Erlang VM

Dyna2 compiler and REPL

Algorithmic Information Theory, using Binary Lambda Calculus

A dialect of the Kernel programming language.