Simple Turing Machine Toolkit provides basic functionality of a turing machine, including compiling to and from Turing numbers.