Standard ML
languages / Standard ML4,052Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | GoldenCheetah | 1 | 1,590 |
| 2 |  | MLton | 2 | 898 |
| 3 |  | AuditProject | 1 | 856 |
| 4 |  | CakeML | 8 | 856 |
| 5 |  | IntelLabs | 1 | 816 |
| 6 |  | urweb | 2 | 765 |
| 7 |  | melsman | 20 | 559 |
| 8 |  | HOL-Theorem-Prover | 2 | 543 |
| 9 |  | composer | 1 | 513 |
| 10 |  | rems-project | 2 | 475 |
5,255Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | GoldenCheetah | 1,590 | GoldenCheetah |
| 2 | mlton | 867 | MLton |
| 3 | truecrypt-verified-mirror | 856 | AuditProject |
| 4 | cakeml | 819 | CakeML |
| 5 | flrc | 816 | IntelLabs |
| 6 | urweb | 761 | urweb |
| 7 | HOL | 543 | HOL-Theorem-Prover |
| 8 | getcomposer.org | 513 | composer |
| 9 | sail | 442 | rems-project |
| 10 | polyml | 438 | polyml |