CrocSwap

Popular repositories Loading

1. integer-mult-bounds integer-mult-bounds Public

   Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.

   Python 283 294

2. CrocSwap-protocol CrocSwap-protocol Public

   Decentralized exchange with concentrated liquidity and low gas fees

   TypeScript 79 76

3. clawdbot-docker clawdbot-docker Public

   General harness to run Clawdbot with container isolation

   Shell 62 9

4. ambient-spot ambient-spot Public

   TypeScript 31 43

5. blog-posts blog-posts Public

   30 6

6. graphcache-go graphcache-go Public

   Go 13 12