Popular repositories Loading

1. amo-lean amo-lean Public

   Lean 2

2. hermite_iopp hermite_iopp Public

   High-performance Rust implementation of Interactive Oracle Proofs of Proximity (IOPP) for Hermitian curves over binary fields. Features bitsliced F₂⁴ arithmetic with 16× speedup.

   Rust 1

3. hft-learning hft-learning Public

   Real-time arbitrage detection between Polymarket and Kalshi for BTC prediction markets. Rust + Python + TypeScript.

   Rust 1

4. optisat optisat Public

   Formally verified equality saturation engine in Lean 4 — 248 theorems, 0 sorry, 0 axioms

5. claude-code-skills claude-code-skills Public

   13 custom skills para Claude Code: Lean 4 theorem proving, QA colaborativo, planificacion DAG, indexacion PDF

   Python

6. lean4-lessons lean4-lessons Public

   Curated Lean 4 lessons with semantic search, contradiction detection, and relationship graph

   Python