ZX Sketch

Rewrites

Basic

Graph-like

Simplify

Load engine to see rewrites

ZX Sketch — ZX Calculus Diagram Editor

ZX Sketch is a free, browser-based editor for creating and simplifying ZX calculus diagrams. The ZX calculus is a graphical language for quantum computing and categorical quantum mechanics.

Features

Draw ZX diagrams with Z spiders, X spiders, and Hadamard edges
19 interactive rewrite rules including spider fusion, bialgebra, local complementation, and pivoting
Step-by-step proof mode with full undo history
18 automated simplification strategies powered by PyZX
Export to TikZ (LaTeX), SVG, PNG, and PyZX JSON
Works entirely in your browser — no installation required

Please enable JavaScript to use ZX Sketch.