MathMod is a mathematical modeling software
Framework for numerical computations, data analysis and visualisation
Portable software and data related to Mersenne numbers
OpenM++: open source microsimulation platform
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.
CAS Algorithms embeded as libraries.