Non-deterministic Turing machine simulator framework - View it on GitHub