A friendly programming language from the future

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

A statically typed concatenative systems programming language.

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

The Egison Programming Language

Embedded language for high-performance array computations

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

A categorical programming language with effects

A language experiment -- irc.freenode.net ##coda

Mirror of Epigram 2, by Conor McBride, et al.