QuantumClifford.jl
A Julia package for working with quantum stabilizer states and Clifford circuits that act on them.
Works efficiently with pure and mixed stabilizer states of thousands of qubits as well as sparse or dense Clifford operations acting upon them.
Provides canonicalization, projection, and generation operations, as well as partial traces.
julia> P"X" * P"Z"
-iY
julia> P"X" ⊗ P"Z"
+ XZ
julia> S"-XX
+ZZ"
- XX
+ ZZ
julia> CNOT * S"-XX
+ZZ"
- X_
+ _Z