Multiprecision calculator
Framework & GUI for Bayes Nets and other probabilistic models.
Interactive scientific graphing and data analysis software.
Verification via biSimulations of Max-Plus-Linear models
Modular Java framework for meta-heuristic optimization
Calculator that takes care of measurement units.
Octave Eclipse GUI