# Lean GitHub repos, page 5 [Home](https://repo.masters-masters.com/en) › [Languages](https://repo.masters-masters.com/en/languages) › [Lean](https://repo.masters-masters.com/en/languages/lean) All 142 Lean GitHub repos in RepoMasters, the trading card game of open source, most starred first: stars, tier and card for each. Page 5 of 5 ## Lean GitHub repos, page 5 142 Lean repos in the catalog, most starred first. - [leanprover-community/duper · ★ 119 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover-community/duper) - [leanprover-community/plausible · ★ 119 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover-community/plausible) - [sunblaze-ucb/vero · ★ 117 · Lean · Prototype](https://repo.masters-masters.com/en/repos/sunblaze-ucb/vero) - [fpvandoorn/carleson · ★ 114 · Lean · Prototype](https://repo.masters-masters.com/en/repos/fpvandoorn/carleson) - [James-Hanson/junk-theorems-in-lean · ★ 114 · Lean · Prototype](https://repo.masters-masters.com/en/repos/James-Hanson/junk-theorems-in-lean) - [AxiomMath/Putnam2025 · ★ 114 · Lean · Prototype](https://repo.masters-masters.com/en/repos/AxiomMath/Putnam2025) - [optsuite/optlib · ★ 113 · Lean · Prototype](https://repo.masters-masters.com/en/repos/optsuite/optlib) - [vihdzp/combinatorial-games · ★ 113 · Lean · Prototype](https://repo.masters-masters.com/en/repos/vihdzp/combinatorial-games) - [pandaman64/lean-regex · ★ 112 · Lean · Prototype](https://repo.masters-masters.com/en/repos/pandaman64/lean-regex) - [leanprover-community/quote4 · ★ 111 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover-community/quote4) - [schildep/verified-3d-mesh-intersection · ★ 110 · Lean · Prototype](https://repo.masters-masters.com/en/repos/schildep/verified-3d-mesh-intersection) - [thefundamentaltheor3m/Sphere-Packing-Lean · ★ 108 · Lean · Prototype](https://repo.masters-masters.com/en/repos/thefundamentaltheor3m/Sphere-Packing-Lean) - [NethermindEth/LeanCIL · ★ 108 · Lean · Prototype](https://repo.masters-masters.com/en/repos/NethermindEth/LeanCIL) - [leanprover/SampCert · ★ 107 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/SampCert) - [yuma-mizuno/lean-math-workshop · ★ 105 · Lean · Prototype](https://repo.masters-masters.com/en/repos/yuma-mizuno/lean-math-workshop) - [chasenorman/Canonical · ★ 105 · Lean · Prototype](https://repo.masters-masters.com/en/repos/chasenorman/Canonical) - [AxiomMath/IMO2026 · ★ 103 · Lean · Prototype](https://repo.masters-masters.com/en/repos/AxiomMath/IMO2026) - [dwrensha/animate-lean-proofs · ★ 102 · Lean · Prototype](https://repo.masters-masters.com/en/repos/dwrensha/animate-lean-proofs) - [leanprover/lake · ★ 101 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/lake) - [NethermindEth/EVMYulLean · ★ 101 · Lean · Prototype](https://repo.masters-masters.com/en/repos/NethermindEth/EVMYulLean) - [JOSHCLUNE/LeanHammer · ★ 100 · Lean · Prototype](https://repo.masters-masters.com/en/repos/JOSHCLUNE/LeanHammer) ## Page 5 of 5 - [Previous page](https://repo.masters-masters.com/en/languages/lean?page=4) --- Data: GitHub