Top Standard ML developers globally
languages / Standard ML / global4,374 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | GoldenCheetah | 1 | 1,745 |
| 2 |  | CakeML | 8 | 973 |
| 3 |  | MLton | 2 | 951 |
| 4 |  | AuditProject | 1 | 862 |
| 5 |  | IntelLabs | 1 | 815 |
| 6 |  | urweb | 2 | 802 |
| 7 |  | HOL-Theorem-Prover | 2 | 596 |
| 8 |  | melsman | 21 | 595 |
| 9 |  | composer | 1 | 528 |
| 10 |  | polyml | 3 | 478 |