Android, UIQ 3.0, Series 60 Edition 5 open-source software
Verification via biSimulations of Max-Plus-Linear models
Computer calculations made easy
Infix to Postfix Converter & Calculator
Real Random Number Generator
Visualize Galois sub-hierarchy of 2d matrix
Java Decision Diagrams (BDD) libraries: JDD and JBDD