The core of xmonad, a small but functional ICCCM-compliant tiling window manager

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

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

Homomorphic machine learning

Contributed modules for xmonad

Write Emacs extensions in Haskell

A small implementation of higher-order unification

Let GHC prove program equations for you

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

An attemps to make a document to help learn Haskell

Safe Haskell Examples

a tool to convert literate agda to html

Tool for making sense of the Haskell code generated by the Agda compiler