AxiomatizePauliQEC is a project mainly written in Verilog, it's free.

An experiment at axiomatizing error correction with Pauli operators.