Pinned Loading

1. armv7 armv7 Public

   Low level armv7 routines for rust

   Rust 5 2

2. sitara sitara Public

   Low level access to the AM335x Sitara SoC by TI

   Rust 1

3. leanprover/lean4 leanprover/lean4 Public

   Lean 4 programming language and theorem prover

   Lean 4.8k 429

4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 1.6k 344

5. brainfuck brainfuck Public

   A small brainfuck interpreter written in haskell

   Haskell

6. leanprover-community/batteries leanprover-community/batteries Public

   The "batteries included" extended library for the Lean programming language and theorem prover

   Lean 254 107