- Python re-implementation of Grigore's subtyping machines algorithm
- Implementation of my new encoding algorithm, which simulates the Turing machines in real time
- A simple application for running the algorithms
- A comparative experiment between the two algorithms