mathlibs Experimental math libraries for practice Automaton contains a Deterministic Finite Automaton Collatz contains a simple collatz conjecture machine Dicedistribution contains an ideal dice roll simulator