Top Lean Developers

SrcLog ranks 4 Lean developers on GitHub by the total stars of their public repositories. Together they hold 184 stars. The most-starred is forked-from-1kasper with 97 stars across 2 repositories. Updated daily.

Developers Organizations
Reset
  1. 1 forked-from-1kasper avatar forked-from-1kasper Lean ⭐ 97 · 🍴 4 · 👀 5 · 2 repos
  2. 2 DSLstandard avatar DSLstandard Lean ⭐ 43 · 🍴 1 · 👀 1 · 1 repos
  3. 3 vaibhavkarve avatar vaibhavkarve Lean ⭐ 35 · 🍴 7 · 👀 1 · 1 repos
  4. 4 SamuelSchlesinger avatar SamuelSchlesinger Lean ⭐ 9 · 🍴 0 · 👀 2 · 2 repos

Other technologies