Top Standard_ml GitHub developers worldwide



Username World rank Stars
1492758?v=3 intellabs 1 777
5839944?v=3 auditproject 2 748
2958942?v=3 urweb 3 485
3707101?v=3 mlton 5 409
6334301?v=3 mrchrisj 6 386
8167971?v=3 cakeml 7 355
1167803?v=3 melsman 8 267
837015?v=3 composer 9 255
1103379?v=3 standardml 10 222
44830?v=3 kfl 11 219
10212863?v=3 rootkovska 12 215
16529381?v=3 redprl 13 205
8379840?v=3 hol-theorem-prover 14 203
55057?v=3 jonsterling 15 195
498750?v=3 chrisamaphone 16 184
11961433?v=3 polyml 17 173
2089943?v=3 ravenbrook 19 135
814961?v=3 jozefg 20 132
53898?v=3 gamelinux 21 131
15177806?v=3 jrh13 22 107
8813633?v=3 ubmltongroup 23 104
1740697?v=3 dib-lab 24 92
442315?v=3 robsimmons 25 91