Top Idris Developers

SrcLog ranks 8 Idris developers on GitHub by the total stars of their public repositories. Together they hold 152 stars. The most-starred is doofin with 44 stars across 1 repository. Updated daily.

Developers Organizations
Reset
  1. 1 doofin avatar doofin Idris ⭐ 44 · 🍴 7 · 👀 5 · 1 repos
  2. 2 Russoul avatar Russoul Idris ⭐ 24 · 🍴 1 · 👀 24 · 1 repos
  3. 3 BIYUEHU avatar BIYUEHU Idris ⭐ 19 · 🍴 2 · 👀 12 · 2 repos
  4. 4 Miezhiko avatar Miezhiko Idris ⭐ 17 · 🍴 0 · 👀 17 · 3 repos
  5. 5 MarcelineVQ avatar MarcelineVQ Idris ⭐ 16 · 🍴 2 · 👀 16 · 2 repos
  6. 6 ziman avatar ziman Idris ⭐ 16 · 🍴 1 · 👀 16 · 1 repos
  7. 7 emptyflash avatar emptyflash Idris ⭐ 10 · 🍴 0 · 👀 0 · 1 repos
  8. 8 fabianhjr avatar fabianhjr Idris ⭐ 6 · 🍴 0 · 👀 6 · 1 repos

Other technologies