Last released Apr 11, 2026
Quantum Circuit Optimisation and Compilation using the ZX-calculus
Last released Jul 1, 2025
A fast boolean linear algebra library
Last released Jun 4, 2023
An interactive theorem prover for string diagrams
Supported by
