Mixed Integer Linear Programming (MILP) solver.
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Simple, effective algebra trainer
A fast prime number generator based on the Sieve of Eratosthenes
library for Bilinear Pairing
The Advanced Algebraic Language.