Runge is an Interactive Solver for Systems of Differential Equations
Real-time interactive fractal zoomer
A logic IDE for the sentential logic and the predicate logic.
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
ATMSP - A Tiny Mathematical Speed Parser
Matlab Toolbox for reading and writing videos.
Gplot provides a convenient front-end for gnuplot
Octave Eclipse GUI
ODEs solver with GUI
A primality/compositeness tester for different types of numbers.
Fast C library for relation algebra using binary decision diagrams.
A slick interface to see various scale analysis algorithms in action.
LIME is a software tool for creating multiphysics simulation codes.
Machine Learning Python