Top Lean Organizations
SrcLog ranks 8 Lean organizations on GitHub by the total stars of their public repositories. Together they hold 1,362 stars. The most-starred is uwdb with 690 stars across 1 repository. Updated daily.
-
1
uwdb UW Database Group 🇺🇸 United States Lean ⭐ 690 · 🍴 57 · 👀 42 · 1 repos 1 690 57 42
-
2
lean-dojo — Lean ⭐ 280 · 🍴 36 · 👀 31 · 3 repos 3 280 36 31
-
3
lean-ja — Lean ⭐ 192 · 🍴 16 · 👀 5 · 1 repos 1 192 16 5
-
4
AxiomMath — Lean ⭐ 94 · 🍴 6 · 👀 4 · 3 repos 3 94 6 4
-
5
groupoid — Lean ⭐ 52 · 🍴 1 · 👀 35 · 2 repos 2 52 1 35
-
6
malgo-lang — Lean ⭐ 45 · 🍴 0 · 👀 2 · 1 repos 1 45 0 2
-
7
Calhooon — Lean ⭐ 6 · 🍴 0 · 👀 0 · 1 repos 1 6 0 0
-
8
typednotes — Lean ⭐ 3 · 🍴 0 · 👀 0 · 1 repos 1 3 0 0
Other technologies
- Top JavaScript organizations
- Top TypeScript organizations
- Top Python organizations
- Top Go organizations
- Top Java organizations
- Top PHP organizations
- Top C++ organizations
- Top Rust organizations
- Top C# organizations
- Top HTML organizations
- Top C organizations
- Top Shell organizations
- Top Ruby organizations
- Top Swift organizations
- Top Kotlin organizations
- Top CSS organizations
- Top Jupyter Notebook organizations
- Top Vue organizations
- Top Scala organizations
- Top Dart organizations
- Top Elixir organizations
- Top SCSS organizations
- Top Lua organizations
- Top Clojure organizations
- Top Haskell organizations
- Top R organizations
- Top Dockerfile organizations
- Top TeX organizations
- Top Objective-C organizations
- Top Perl organizations