leo-colisson / zx-calculusLinks
A package to typeset ZX calculus directly in LaTeX.
☆17Updated last year
Alternatives and similar repositories for zx-calculus
Users that are interested in zx-calculus are comparing it to the libraries listed below
Sorting:
- Coq library for reasoning about quantum programs☆39Updated last month
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- CAP project -- Categories, Algorithms, and Programming☆34Updated last week
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- Deposited packages of the homalg project☆16Updated last week
- Formalized quantum computing in Lean theorem prover☆31Updated 4 years ago
- Verifying the ZX Calculus☆20Updated this week
- A Small Quantum Intermediate Representation☆87Updated last month
- The root repository for the SpectralSequences project.☆31Updated 3 weeks ago
- Code repository for our work on Quantum Pi☆10Updated last year
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- A database of small finite categories☆14Updated last year
- An interactive theorem prover for string diagrams☆119Updated 10 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆50Updated 3 years ago
- A quantum circuit language and formal verification tool☆104Updated 3 months ago
- Code samples for Lean 4☆77Updated last year
- Lean4 port of Arduino balance car controller☆45Updated 4 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated 3 weeks ago
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Updated 8 months ago
- HoTT Book formalisations in Rzk.☆19Updated last year
- An equational theorem prover based on Knuth-Bendix completion☆54Updated last month
- ☆15Updated last year
- ☆23Updated 3 years ago