O'Haskell - the purely functional language Haskell, conservatively extended with subtyping and monadic objects but also an object-oriented imperative language, with parameteric polymorphism automatic type inference and a concurrent language, with a reactive communication model asynchronous and synchronous message-passing
Pizza - an extension of Java with functional features: parametric polymorphism, first-class (higher-order) functions, algebraic datatypes and pattern-matching.
Ron Heuse - Collected information on approximately 2350 computer programming languages.
SmartWorker - A platform for web application development.
webbase - Internet crawler able to crawl and maintain millions of URLs and store information about them in a MySQL database.
XMLterm - A Graphical Command Line Interface using Mozilla.
Yarrow Home Page - A proof-assistant for Pure Type Systems written in Haskell