zx-calculus

MQT QCEC - A Tool for Quantum Circuit Equivalence Checking

An implementation of ZX-calculus in Julia

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.

Certificate protocol 0.2.0 and standalone reference verifier for AlchemQ proof-carrying quantum circuit optimization. Optimization engine not included.

A qubit-count & dimension agnostic quantum state simulator built on symbolic qufinite ZX-Calculus.

ZX-Diagrams in Typst

Supplemental code for https://arxiv.org/abs/2606.12383

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

Haskell ZX Calculus Library

Framework-agnostic web component for rendering ZX-calculus diagrams

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.

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.