Arbitrary-precision CRC calculator and algorithm finder
Sampling exactly from the normal and exponential distributions
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Puzzle game demonstrating whats so hard about binary integer factoring
Fixed-length Arithmetic-types library
A script to perform SAT attacks on RSA