Top Coq Developers

SrcLog ranks 11 Coq developers on GitHub by the total stars of their public repositories. Together they hold 468 stars. The most-starred is ilyasergey with 175 stars across 1 repository. Updated daily.

Developers Organizations
Reset
  1. 1 ilyasergey avatar ilyasergey Coq ⭐ 175 · 🍴 19 · 👀 175 · 1 repos
  2. 2 choukh avatar choukh Coq ⭐ 105 · 🍴 7 · 👀 3 · 2 repos
  3. 3 sigurdschneider avatar sigurdschneider Coq ⭐ 55 · 🍴 2 · 👀 55 · 1 repos
  4. 4 shouya avatar shouya Coq ⭐ 27 · 🍴 2 · 👀 27 · 1 repos
  5. 5 RiccardoBiosas avatar RiccardoBiosas Coq ⭐ 26 · 🍴 3 · 👀 1 · 1 repos
  6. 6 ichistmeinname avatar ichistmeinname Coq ⭐ 26 · 🍴 2 · 👀 26 · 1 repos
  7. 7 matthesjh avatar matthesjh Coq ⭐ 17 · 🍴 1 · 👀 17 · 2 repos
  8. 8 relrod avatar relrod Coq ⭐ 15 · 🍴 1 · 👀 15 · 2 repos
  9. 9 wkolowski avatar wkolowski Coq ⭐ 11 · 🍴 0 · 👀 11 · 1 repos
  10. 10 cogumbreiro avatar cogumbreiro Coq ⭐ 11 · 🍴 1 · 👀 5 · 3 repos
  11. 11 conengine avatar conengine Coq ⭐ 0 · 🍴 0 · 👀 2 · 2 repos

Other technologies