MathMod is a mathematical modeling software
Open Source and data mining software
Simulated Airline Travel Solution Provider Library
sparse and dense matrix, linear algebra, visualization, big data
Mad Science
A logic IDE for the sentential logic and the predicate logic.