Username | World rank | Stars | |
---|---|---|---|
intellabs | 1 | 777 | |
auditproject | 2 | 748 | |
urweb | 3 | 485 | |
mlton | 5 | 409 | |
mrchrisj | 6 | 386 | |
cakeml | 7 | 355 | |
melsman | 8 | 267 | |
composer | 9 | 255 | |
standardml | 10 | 222 | |
kfl | 11 | 219 | |
rootkovska | 12 | 215 | |
redprl | 13 | 205 | |
hol-theorem-prover | 14 | 203 | |
jonsterling | 15 | 195 | |
chrisamaphone | 16 | 184 | |
polyml | 17 | 173 | |
ravenbrook | 19 | 135 | |
jozefg | 20 | 132 | |
gamelinux | 21 | 131 | |
jrh13 | 22 | 107 | |
ubmltongroup | 23 | 104 | |
dib-lab | 24 | 92 | |
robsimmons | 25 | 91 |