C++ routines for local and global computations with integer-valued qua
High-performance integer factorization
Caeser cipher in Julia
Finds bad examples for the local search Path Partitioning algorithm
Kammerjäger is a debugging tool with integrated correctness proving.