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.
-
Updated
Jun 24, 2026 - Python
#
bivariate-bicycle
Here are 2 public repositories matching this topic...
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.
fault-tolerance theorem-proving rtl quantum-computing verilog audit-log formal-verification mathlib quantum-error-correction superconducting lean4 qldpc bivariate-bicycle-codes bivariate-bicycle certifying-algorithms
-
Updated
Jul 6, 2026 - Lean
Improve this page
Add a description, image, and links to the bivariate-bicycle topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the bivariate-bicycle topic, visit your repo's landing page and select "manage topics."