ECLiPSe Constraint Logic Programming System
ALFOUR Programming language. Simple, safe, power, multi-platform.
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
Goal-directed answer-set programming
Create fast bare-metal FPGA designs without Verilog or VHDL