Pinned Repositories
bialgebra-project
A project that will compute normal forms for commutative bialgebras
cpc
Quantomatic project for CPC code
isaplib
Isabelle/IsaPlanner SML Library (for PolyML)
pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
quantomatic
Quantomatic is a tool for doing automated graph rewriting.
Quantomatic.github.io
Source code for website
quizx
A speedy Rust port of PyZX
sample-projects
Sample projects for Quantomatic
zx-project
A basic configuration for QuantoDerive for working with the ZX-calculus
zxlive
A graphical tool for the ZX calculus
Quantomatic's Repositories
Quantomatic/pyzx
Python library for quantum circuit rewriting and optimisation using the ZX-calculus
Quantomatic/quantomatic
Quantomatic is a tool for doing automated graph rewriting.
Quantomatic/zxlive
A graphical tool for the ZX calculus
Quantomatic/quizx
A speedy Rust port of PyZX
Quantomatic/sample-projects
Sample projects for Quantomatic
Quantomatic/isaplib
Isabelle/IsaPlanner SML Library (for PolyML)
Quantomatic/Quantomatic.github.io
Source code for website
Quantomatic/bialgebra-project
A project that will compute normal forms for commutative bialgebras
Quantomatic/zx-project
A basic configuration for QuantoDerive for working with the ZX-calculus
Quantomatic/cpc
Quantomatic project for CPC code
Quantomatic/outreach
Outreach ideas for diagrammatic calculi
Quantomatic/qderive-sample
Sample project for QuantoDerive
Quantomatic/ui-tests
Testing Javascript UI features