Mixed Integer Linear Programming (MILP) solver.
Test 64-bit integers for pribality. Miller-Rabin, Lucas. BPSW
Arithmetic Multlple Precision Computation Library
3-D diffusion solver for biological problems
Fast and more random implementations of java.util.Random.
Predicting ribosome footprint profile shapes from transcript sequences
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
Real Random Number Generator
library for Bilinear Pairing
The Advanced Algebraic Language.