pyzx-simplifier
SolidZX-calculus based circuit simplification skill for advanced quantum circuit optimization
AI & Automation 1,160 stars
71 forks Updated today MIT
Install
Quality Score: 94/100
Stars 20%
Recency 20%
Frontmatter 20%
Documentation 15%
Issue Health 10%
License 10%
Description 5%
Skill Content
# PyZX Simplifier
## Purpose
Provides expert guidance on ZX-calculus based circuit simplification, enabling powerful optimization through graphical quantum circuit representation.
## Capabilities
- ZX-diagram representation of circuits
- Full simplification via ZX-calculus rules
- T-count minimization
- Clifford circuit extraction
- Ancilla-free circuit optimization
- Visualization of ZX-diagrams
- Circuit-to-graph conversion
- Equality verification
## Usage Guidelines
1. **Conversion**: Transform quantum circuits to ZX-diagrams for analysis
2. **Simplification**: Apply ZX-calculus rewrite rules for optimization
3. **T-Minimization**: Focus on T-gate reduction for fault-tolerant computing
4. **Extraction**: Convert optimized ZX-diagrams back to circuits
5. **Visualization**: Generate visual representations for understanding and debugging
## Tools/Libraries
- PyZX
- ZX-calculus
- NetworkX
- Matplotlib
Details
- Author
- a5c-ai
- Repository
- a5c-ai/babysitter
- Created
- 4 months ago
- Last Updated
- today
- Language
- JavaScript
- License
- MIT
Similar Skills
Semantically similar based on skill content — not just same category
AI & Automation Solid
circuit-optimizer
Quantum circuit optimization skill for gate reduction, depth minimization, and hardware-aware compilation
1,160 Updated today
a5c-ai AI & Automation Solid
tket-compiler
Cambridge Quantum (Quantinuum) t|ket> compiler skill for platform-independent circuit optimization
1,160 Updated today
a5c-ai AI & Automation Solid
tensor-network-simulator
Tensor network-based simulation skill for large circuit approximation
1,160 Updated today
a5c-ai AI & Automation Solid
qiskit-quantum-simulator
Qiskit quantum computing skill for circuit design, simulation, and quantum algorithm development
1,160 Updated today
a5c-ai AI & Automation Solid
zk-circuits
Zero-knowledge circuit development using Circom and Noir languages. Supports constraint optimization, ZK-friendly cryptographic primitives, proof generation (Groth16, PLONK), and Merkle tree implementations.
1,160 Updated today
a5c-ai