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 8.3k 882

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

   The math library of Lean 4

   Lean 3.5k 1.4k

5. brainfuck brainfuck Public

   A small brainfuck interpreter written in haskell

   Haskell

6. DynamicalSystems DynamicalSystems Public

   Library for formalization of dynamical systems

   Lean 1 2