Foreval is parser , compiler , evaluator of mathematical expressions
ECLiPSe Constraint Logic Programming System
ForevalZ - compiler of mathematical expressions with complex numbers
Complete IDE for Batch files with BAT To EXE Compiler and Debugger.
wxMEdit, Cross-platform Text/Hex Editor, Improved Version of MadEdit
A collection of machine-checkend mathematical proofs
A system for computer algebra and symbolic mathematics
mathSuite Speed & Matrix Stream Processor
The programming language for begginers.
General template for expressions using Lisp-like structures.
An XOCL (ECore + OCL) based implementation of the Gurevich ASMs