MathMod is a mathematical modeling software
Open Source and data mining software
Query and plot data in seconds (Excel, CSV, SQL and NoSQL DBMS)
A web-based minimisation service
Simulated Airline Travel Solution Provider Library
Mad Science
Timeseries databases management system
A logic IDE for the sentential logic and the predicate logic.