A clone of my final-year project dissertation for Part II of the Computer Science Tripos. - View it on GitHub