Popular repositories Loading

1. .github .github Public

2. website website Public

3. koika koika Public

   Forked from mit-plv/koika

   A core language for rule-based hardware design 🦑

   Rocq Prover

4. wasm-lean wasm-lean Public

   Formalization of WebAssembly in Lean 4

   Lean

5. bfloat-lean bfloat-lean Public

   Port of Flocq's IEEE754.Binary to Lean 4 over Mathlib's reals.

   Lean

6. tinygrad-two tinygrad-two Public

   Forked from tinygrad/tinygrad

   You like pytorch? You like micrograd? You love tinygrad! ❤️

   Python