Clifford circuits, graph states, and other quantum Stabilizer formalism tools.

Software for exploring, developing, and evaluating quantum error-correction protocols.

Parity check matrices of the constituent codes for the CSS-T codes derived in the paper "An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance"

Quantum Tanner codes, Ramanujan graphs and quantum expander codes

Prase and read QUESTAAL quantum calculation's output

magma, error correcting codes, coding theory

Mathematical framework connecting surjective group homomorphisms to quantum error correction via Type II₁ von Neumann algebras. Derives code distance bounds from algebraic structure and validates with computational examples.