Python Tools for Quantum Error Correction
QEC is a deterministic, replay-safe proof and systems architecture for quantum error correction, invariant-driven computation, canonical hashing, replay validation, semantic/citation boundary enforcement, proof telemetry, inference and agent-boundary receipts, research provenance, and hash-bound decoder governance.
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.
Construct bivariate-bicycle / generalized-bicycle qLDPC codes and decode them with a from-scratch BP+OSD decoder, benchmarked against the surface code on encoding rate.
Vendor-portable GPU decoders for quantum LDPC codes — Triton min-sum BP & Relay-BP on NVIDIA (CUDA), AMD (ROCm), and Apple-silicon (Metal), consuming any stim DetectorErrorModel.
Kernel-checked certification of QLDPC decoder outputs: Lean 4 verified checkers, two-sided per-run certificates (success AND failure witnesses), HMAC-chained audit logs, and Lean-emitted synthesizable RTL (1–2k gates, measured). Bivariate bicycle codes, 72–288 qubits. GPLv3 / commercial dual-license.
This repository contains a few asymptotically good qLDPC code construction (HGP and LP codes).
Open-source QEC decoders: Pathfinder — a direction-aware neural surface-code decoder (real-time-budget Triton kernel) whose multi-seed ensemble lowers logical error below the prior open-source GNN at operational noise rates — plus a kernel-grounded, MLE-anchored latency–LER benchmark for circuit-level qLDPC (bivariate-bicycle) codes.
Add a description, image, and links to the qldpc topic page so that developers can more easily learn about it.
To associate your repository with the qldpc topic, visit your repo's landing page and select "manage topics."