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.
ZX Sketch is a web-based graphical editor for the ZX Calculus.
Quantum algorithm discovery via ZX-diagram pattern mining and recombination.
Fibonacci numbers on quantum computers with only Clifford+T hardware
cqm (Pronounced see-quim) is an experimental programming language targetting the semantics, and capabilities of Categorical Quantum Mechanics, and relevant tools of researchers studying Many-Body Quantum Systems
Deterministic verification termination oracle (ContractGate) for FTQC quantum modules — exit 0 ⟺ sealed.json ⟺ loop terminates. Reuses established deterministic verification (tableau/ZX); novelty is the agentic-loop termination oracle + binary seal/registry + FTQC resource integration.
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."