A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

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

Pattern language

lamdu - towards the next generation IDE

A modern syntax for the λ-calculus.

higher order dependently typed logic programing

Polymorphic music library with export to musicxml and midi

An experimental LISP flavoured shell written in Haskell