CUDA Templates for Linear Algebra Subroutines
Arbitrary-precision CRC calculator and algorithm finder
Discrete-event simulation modeling software for science and education
Mixed Integer Linear Programming (MILP) solver.
Test 64-bit integers for pribality. Miller-Rabin, Lucas. BPSW
Arithmetic Multlple Precision Computation Library
Fast and more random implementations of java.util.Random.
Bit level lambda continuations and nothing else - Queue automata
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Runge is an Interactive Solver for Systems of Differential Equations
A fast prime number generator based on the Sieve of Eratosthenes
The Advanced Algebraic Language.