Research resources

Software and code data

Implementations, parameter files, construction records, and proof material organized by purpose.

Decoding software

Construction data and verification records

Kasai-code catalog

Live parameters, distance status, downloadable instances, and witness records.

Open catalog →

Affine-coset construction

Explicit P=32 CPM lift and distance-verification summaries.

Construction data →

Rate-2/3 construction

Finite-field base, P=101 lift coefficients, and upper-bound data.

Construction data →

Data archives

Supplementary proof material

Matrix data, proof certificates, and verification code for Finite-Degree Quantum LDPC Codes Reaching the Gilbert–Varshamov Bound are available in the GitHub repository.

Each linked project states its own assumptions, decoder, verification status, and file format. For unlisted data, contact kenta@ict.eng.isct.ac.jp.