ALFOUR Programming language. Simple, safe, power, multi-platform.
ECLiPSe Constraint Logic Programming System
A whole-program optimizing compiler for Standard ML
The GNU Prolog native compiler
Software build-automation tool written in Common Lisp
A BASIC interpreter and compiler with graphics.
Unleashing the potentials of types and templates
Runtime and development environment of Oz
Lexical, grammatical and syntactic analyzer of C÷÷.