Popular repositories Loading

1. cuda-cic cuda-cic Public

   World's first GPU-native CIC type checker for Lean4. 126M proofs/sec on CUDA. 89,931x faster than CPU.

   Python 4

2. universal-ai-dev-assistant universal-ai-dev-assistant Public

   Revolutionary AI-powered development platform with Code Time Travel, AI Pair Programming, and unique features not found anywhere else

   Rust 3 1

3. ToposAI ToposAI Public

   Python 2

4. OpenHands OpenHands Public

   Forked from OpenHands/OpenHands

   🙌 OpenHands: Code Less, Make More

   Python 1

5. il-protection-hook il-protection-hook Public

   First-ever Uniswap V4 Hook for Automated Impermanent Loss Protection. Live on Arbitrum.

   JavaScript 1

6. algebraic-pruning algebraic-pruning Public

   Nilpotent weight structure predicts pruning resilience. 3,477x more prunable. 25% free compression.

   Python 1