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