Compiler for Elm, a functional language for reliable webapps.

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

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

lamdu - towards the next generation IDE

The Haskell-Scriptable Editor

A statically typed concatenative systems programming language.

Write You a Scheme

Classic Algorithm W for type inference.

A simple programming language targeting LLVM

A schemy Lisp backed by Haskell

A lazy non-deterministic concatenative programming language

compile your own functional language

Lazy functional language compiler targeting LLVM.

Haskell implementation of Miller-Rabin primality test