Framework for numerical computations, data analysis and visualisation
MathMod is a mathematical modeling software
Simulated Airline Travel Solution Provider Library
Mad Science
Timeseries databases management system
Software for data analysis, image processing, simulations, solver.
A logic IDE for the sentential logic and the predicate logic.