OCaml

(last updated: 2004-12-23.)
also on neugierig.org:

"Objective Caml is a fast modern type-inferring functional programming language descended from the ML (Meta Language) family."

It's also a whole lot of fun to hack with and on.

Projects

Evan Martin, martine@danga.com