Explore projects
-
A distributed and decentralised issue tracking system for Git.
Updated -
Updated
-
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.
Updated