Stars
A smart partitioner for simulating ZX-diagrams
Qᴜᴀʟᴛʀᴀɴ is a Python library for expressing and analyzing Fault Tolerant Quantum algorithms.
A framework for reading OpenQASM quantum circuits, translating them to ZX diagrams, simplifying and visualizing those while validating all performed transformations
Themes. Any QSS syntax. Alternate background color for even rows included.
A place to store the ZX survey paper as well as any other notes that you think will help people new to the calculus.
Sublime Text 2 package for miscellaneous useful commands
Quantomatic is a tool for doing automated graph rewriting.
akissinger / kod
Forked from rsms/kodProgrammers' editor for OS X
akissinger / PolyChrome
Forked from KidkArolis/PolyChromePolyChrome is a Firefox extension that can run Standard ML programs embedded in HTML documents
Isabelle/IsaPlanner SML Library (for PolyML)
PolyChrome is a Firefox extension that can run Standard ML programs embedded in HTML documents