This is a crosspost of the announcement of QuantumClifford.jl in the community thread. You can read there for more details of a small package with efficient allocation free algorithms for the simulation of circuits with the tableaux formalism and various Monte Carlo and symbolic tools for the work with noisy Clifford circuits.
The package is QuantumClifford.jl. The package is meant to remain small and well optimized, dealing with that one single problem.
- A good example of simulating circuits with Monte Carlo and with symbolic Perturbative expansion
- A more low-level work where tableaux are studied in detail for the purpose of creating random quantum codes
P.S. I am not quite certain what is the cross-post etiquette, but it seemed appropriate to mention this in the quantum domain topic.