A Rust implementation of the parsimony project.
Parsimony is a project that allows description of Turing Machines in a high level language that compiles down to a two symbol, single tape Turing Machine. It is used in the paper "A Relatively Small Turing Machine Whose Behaviour Is Independent of ZFC".
Rust is a
systems programming language that runs blazingly fast, prevents segfaults, and guarantees thread safety