FloatingPragma / observer-patch-holography

Observer Patch Holography: finite observer consensus, machine-checked mathematics and reproducible models for reconstructing physical structure.

morluto / jacobian

Composable mathematics tools for agents

Sega757 / Chronos-V3-the-Architecture-of-Conjunctive-Transparency-C-T-

Bicameral deterministic AI runtime: Zero-hallucination System 1/2 reasoning engine with cryptographic audit trails (RFC 8785, Ed25519) and PoSP consensus arbitration.

liujianyu20021122 / RTL-ASS

Codex-first, vendor-neutral RTL coding and verification skill using open-source tools

asterinas / KVerus

KVerus: Scalable and Resilient Formal Verification for Rust Code

Swapnil-jain / integer-mult-kappa

Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks