GitHub - zxcalc/quantomatic: Quantomatic is a tool for doing automated graph rewriting.

This repository was archived by the owner on Mar 13, 2026. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 2,896 Commits
bin		bin
console		console
core		core
cosy		cosy
docs		docs
examples		examples
gui		gui
oldcore		oldcore
rulesets		rulesets
scala		scala
theory-visualizations		theory-visualizations
tools		tools
.gitignore		.gitignore
.travis.yml		.travis.yml
README		README
README.git		README.git
README.release		README.release
bintray-release.json		bintray-release.json
bintray.json		bintray.json
build.sh		build.sh
todo.txt		todo.txt

Repository files navigation

ABOUT: 

Quantomatic was a piece of software for reasoning about monoidal theories. In particular, it was designed to reason about quantum information processing.

It is no longer being actively maintained. While there is no direct successor to this project, there are two more recent projects that have some similar features/goals to Quantomatic:

ZX Live - https://github.com/zxcalc/zxlive
Chyp - https://github.com/akissinger/chyp


LICENSE: 

This software is under the GNU General Public License (GPL). This is described in detail at: 

  http://www.gnu.org/licenses/

You can also see docs/LICENSE.txt for the full details. 


DISCLAIMER: 

This software is provided "as is": you use the software at your own risk and we make no warranties of any sort. 

See docs/DISCLAIMER.txt for more about how little responsibility we take.