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

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

Frontier decoder for quantum LDPC codes: pruned dynamic programming over boundary states for approximate logical maximum-likelihood decoding of sparse parity-check and detector-error-model matrices.

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

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.