Skip to content
#

bivariate-bicycle-codes

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Lean 1 Python 1

aleverrier / frontier

Star 15

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.

python cpp decoder scientific-computing dynamic-programming stim ldpc quantum-error-correction quantum-codes qldpc quantum-ldpc stabilizer-codes frontier-decoder boundary-state-decoder logical-maximum-likelihood coset-decoding detector-error-model bivariate-bicycle-codes gross-code
  • Updated Jun 23, 2026
  • Python

j-arndt / qldpc

Star 0

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-codes topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the bivariate-bicycle-codes topic, visit your repo's landing page and select "manage topics."

Learn more