Explore projects

Example of separation of GUI and program functionality.

A smart city parking project for 5th year CES.

An application for reducing sedentary behaviour by using personalised activity notifications.

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.

Development on system to reduce Clifford Circuits to their minimum equivalent form.