Mixed Integer Linear Programming (MILP) solver.
3-D diffusion solver for biological problems
Bit level lambda continuations and nothing else - Queue automata
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Fixed-length Arithmetic-types library
A fast prime number generator based on the Sieve of Eratosthenes
Real Random Number Generator
library for Bilinear Pairing
The Advanced Algebraic Language.