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

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Crucible is a library for symbolic simulation of imperative programs

An interpreter for learning and exploring pure λ-calculus

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR