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 and Ramanujan Graphs

Prase and read QUESTAAL quantum calculation's output

Standalone Vela custody source for quantum stabilizer-code scientific state.

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.