PacLang is a language for programming Network Processors. It aims to make it easy to write high performance networking applications that are portable across a range of target platforms.
PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
SMOCaml is a server for Stepmania Online written from scratch in OCaml.
A Forge-like world editor for the AlephOne engine. We have migrated to GitHub for all future releases.
A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.
*** Moved to http://github.com/esumii/min-caml ***
*** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!
A Core War with time manipulation!
A simple and deterministic syntax for wikis and more...
COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.
Felix programming language specifications and translator
Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.
The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu