QuantumClifford.jl

QuantumClifford.jl is a comprehensive library for the study, simulation, and manipulation of Clifford circuits and slightly non-Clifford circuits. This library uses the tableaux formalism with the destabilizer improvements. Moreover, Pauli frames are supported for faster repeated simulation of noisy circuits. Various symbolic and algebraic tools for manipulating, converting, and visualizing states and circuits are also available. Finite-Clifford-rank tools for modeling circuits with few non-Clifford gates are provided.