An implementation of interval arithmetic
ECLiPSe Constraint Logic Programming System
engineering programmable calculator
Foreval is parser & compiler of mathematical expressions
ForevalZ - compiler of mathematical expressions with complex numbers
Handling dimensioned values in Ada
A whole-program optimizing compiler for Standard ML
Baffle Is an extension to Brainfuck language, it adds a stack, more