MQT QCEC - A tool for Quantum Circuit Equivalence Checking
MQT ZX - A library for working with ZX-diagrams
The web app for exploring graph-like ZX Calculus diagrams
Code for the manuscript "Optimizing ZX-Diagrams with Deep Reinforcement Learning", Maximilian Nägele and Florian Marquardt 2024 Mach. Learn.: Sci. Technol. 5 035077
A transpiler pass for Qiskit which uses ZX-Calculus for circuit optimization, implemented using PyZX.
Quantum algorithm discovery via ZX-diagram pattern mining and recombination.
ZX Sketch is a web-based graphical editor for the ZX Calculus.
QuEra Computing - neutral-atom quantum (Aquila on AWS Braket, Gemini system)
Fibonacci numbers on quantum computers with only Clifford+T hardware
My seminar paper and presentation materials for the Applications of Quantum Computing in IT Security seminar at TUM in SS23
A proof of the Riemann Hypothesis via toroidal geometry. Zeros are caustic singularities forced to the throat by the Gram matrix cosh structure.
Add a description, image, and links to the zx-calculus topic page so that developers can more easily learn about it.
To associate your repository with the zx-calculus topic, visit your repo's landing page and select "manage topics."