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

A modern proof language

The Haskell-Scriptable Editor

Miscellaneous articles. The readme is the table of contents.

A statically typed concatenative systems programming language.

A notification daemon/center for linux

A demo implementation of a simple dependently-typed language

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

Introduction to parsing with Haskell and Parsec

A strict, impure, curried, partially applied programming language with rather peculiar syntax.

Inline C & Objective-C in Haskell

HN Compiler

Pure memoization combinators for Haskell

Experimental Scheme-like compiled language

Forth interpreter

Little toy lisp, written in haskell.

Learning Haskell snippets

A tool for parsing and analyzing C Preprocessor annotated text.

Tools for lexing and parsing C like languages

Algorithm W versus algorithm M type errors comparison.

Typed logic programming embedded in Haskell.