Python Calculator on Number Theory, three-birds-one learning material
Command-line calculator and libray.
Turing and Post Machines' C++ Simulators
Math Parser for Java
Distributed QP Solver in Python
library for Bilinear Pairing
Obsolete: use https://github.com/VMML/vmmlib
Zero Sum Game Solver Java Library