| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| leanprover/lean4 | LeanC++CMake | 2.8k | +15 | 251 | +2 |
| leanprover-community/mathlib4 | LeanPythonShell | 350 | +5 | 140 | +1 |
| JLimperg/aesop | LeanShell | 88 | +2 | 14 | 0 |
| EdAyers/ProofWidgets4 | LeanTypeScriptTeX | 56 | +1 | 10 | 0 |
| leanprover-community/lean4-metaprogramming-book | LeanPython | 145 | +1 | 33 | +1 |
| arthurpaulino/lean4-metaprogramming-book | LeanPython | 145 | 0 | 33 | 0 |
| leanprover/lean4-samples | LeanCSSJavaScript | 61 | 0 | 19 | 0 |
| leanprover/std4 | Lean | 119 | 0 | 45 | 0 |
| EdAyers/WidgetKit | LeanTypeScriptTeX | 56 | 0 | 10 | 0 |
| risc0/risc0-lean4 | LeanRust | 31 | 0 | 2 | 0 |
| leanprover/lake | LeanShellOther | 95 | 0 | 20 | 0 |
| gebner/quote4 | LeanMakefile | 52 | 0 | 8 | 0 |
| rami3l/plfl | Lean | 28 | 0 | 2 | 0 |
| paulcadman/lean4-leetcode | Lean | 6 | 0 | 0 | 0 |
| mhuisi/lean4-cli | Lean | 44 | 0 | 8 | 0 |
| meoowers/rinha | LeanDockerfileShell | 53 | 0 | 1 | 0 |
| leanprover/lean4-cli | Lean | 44 | 0 | 8 | 0 |
| lean-ja/tactic-cheetsheet | Lean | 2 | 0 | 0 | 0 |