clifford-circuits
Software for exploring, developing, and evaluating quantum error-correction protocols.
Scalable testing and verification of logical error rate for all quantum error correction
Parallel Quantum Simulation and Automated Reasoning on GPUs
