2 projects
qldpc-cert
Kernel-checked certification of QLDPC decoder outputs: two-sided per-run certificates (Lean 4 verified checkers), HMAC-chained audit logs, and a reference BP+OSD decoder for bivariate bicycle codes.
engram-engine
O(1) memory for infinite context — drop-in Transformer replacement with holographic toroidal attention
