Explore projects

This is a Quantomatic proof development in support of the paper "Optimising Clifford Circuits with Quantomatic" by Andrew Fagan and Ross Duncan. There are also some supporting scripts and data files.

A web-based editor and compiler (targeting massive) for the variant of IMP described in CS311

A problem often faced by teachers is a gauging what concepts have been understood by their students. One way to solve this problem is to utilise the minute paper. This project focuses on analysing submitted papers to aid lecturers.

Testing git workings

Example of separation of GUI and program functionality.

The skeleton project for the 2021 CS316 Coursework.

Simple examples that demonstrate Monte Carlo simulation techniques.