Popular repositories Loading
-
integer-mult-bounds
integer-mult-bounds PublicConditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
-
CrocSwap-protocol
CrocSwap-protocol PublicDecentralized exchange with concentrated liquidity and low gas fees
-
clawdbot-docker
clawdbot-docker PublicGeneral harness to run Clawdbot with container isolation
-
-
-
Repositories
- integer-mult-bounds Public
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
- FIPS203-lean Public
Executable Lean 4.35 ML-KEM specifications with representative NIST ACVP vectors
- lean-buildtools Public
Memory-capped Lean 4.35 builds, declaration profiles, and experimental compile-checked refactoring tools
-
- ambient-spot Public
- applied-butterfly-mult Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Most used topics
Loading…