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

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Project management directly from the TODOs in your codebase

Shell programming, Haskell style

Minimal implementations for dependent type checking and elaboration

A demo implementation of a simple dependently-typed language

Web application for exploring and understanding Haskell codebases

A categorical programming language with effects

Inspection Testing for Haskell

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

Minimal ML language to to demonstrate the W type infererence algorithm