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