A set of implementations of the theory learnt in the 2014 "Theory of Computation" course at the University of Cambridge.