Stuff for quantum computing done outside/prior to employment in that role. Not affiliated with Horizon Quantum Computing.
Includes several one-off pieces including exact number theoretic synthesis helper functions, acocompanying code of Coxeter paper and GADT equipped circuits and error correcting codes
Some graph topos computations
Paper calculating various entanglement patterns as they appear as elements of K_0(Var)
Some helper functions and scripts for tomography
Groudits a la https://arxiv.org/pdf/1707.00966v1.pdf