A class that is able to develop any (n, k) linear code. Includes an implementation of an ASCII correcting linear code along with a simulation of error correction.

Polynomial arithmetic over GF2

A Sage package for computing the generalized Hamming weights of a linear code

Haskell library for linear codes from coding theory

Error correction codes project

Algebra is fun!

Round 3 of the hunt for [22,6,13]₄. 9 search engines, 7 engineering-inspired strategies, 552 exhaustive QR puncturings. Best code: [22,6,12]₄ with A₁₂=60. Distributed AI research with Claude, Gemini, ChatGPT & Grok.

C++ tool for linear code analysis using Gröbner bases. Computes leader codewords, tests code equivalence, and analyzes automorphism groups based on recent coding theory research.

Website containing information and resources about Reed-Muller Codes.

LEDAkem post-quantum key encapsulation cryptoscheme Python implementation

Distributed AI research on optimal linear codes over finite fields — Construction XX, BCH codes, impossibility proofs, and the hunt for [22,6,13] over GF(4)

60 million evaluations, 14+ eliminated routes, 4 AI systems, 1 human architect — the most comprehensive investigation of the d₄(22,6) gap in 25 years. Featuring La Púa del Jet methodology and the Collision Symmetry Theorem.

Formal SAT resolution of a 25-year open problem: does [22,6,13]₄ exist? CNF encodings, Kissat solver, and the hunt for proof. Proyecto Estrella

Yaroslavl Demidov State University/Math/TK. 6sem. Zavodchikov.

Header-only library for error control coding (ECC) simulations and experiments. Can deal with arbitrary finite fields and complex field relationships, based on compile-time or runtime LUTs. Provides data structures and algorithms for matrices, vectors, and polynomials.