Top Standard ML Organizations

SrcLog ranks 11 Standard ML organizations on GitHub by the total stars of their public repositories. Together they hold 5,374 stars. The most-starred is GoldenCheetah with 2,244 stars across 1 repository. Updated daily.

Reset
  1. 1 GoldenCheetah avatar GoldenCheetah Golden Cheetah Open Source Project Standard ML ⭐ 2.2k · 🍴 479 · 👀 103 · 1 repos
  2. 2 CakeML avatar CakeML Standard ML ⭐ 1.2k · 🍴 116 · 👀 79 · 2 repos
  3. 3 MLton avatar MLton Standard ML ⭐ 1.1k · 🍴 139 · 👀 48 · 1 repos
  4. 4 smlnj avatar smlnj Standard ML ⭐ 301 · 🍴 36 · 👀 16 · 2 repos
  5. 5 spacegraphcats avatar spacegraphcats Standard ML ⭐ 120 · 🍴 15 · 👀 9 · 1 repos
  6. 6 UBMLtonGroup avatar UBMLtonGroup Standard ML ⭐ 100 · 🍴 2 · 👀 13 · 1 repos
  7. 7 mit-plv avatar mit-plv Standard ML ⭐ 85 · 🍴 7 · 👀 11 · 1 repos
  8. 8 AthenaFoundation avatar AthenaFoundation Standard ML ⭐ 82 · 🍴 5 · 👀 1 · 1 repos
  9. 9 ManticoreProject avatar ManticoreProject Standard ML ⭐ 73 · 🍴 7 · 👀 73 · 1 repos
  10. 10 mblmicdiv avatar mblmicdiv Standard ML ⭐ 20 · 🍴 8 · 👀 20 · 1 repos
  11. 11 heron-solver avatar heron-solver Standard ML ⭐ 5 · 🍴 1 · 👀 3 · 1 repos