System dynamics program with additional features for economics
Fast integrator of stochastic partial differential equations
Computer calculations made easy
Synchronous Petri Nets' emulator
A logic IDE for the sentential logic and the predicate logic.
CAS Algorithms embeded as libraries.