Username | World rank | Stars | |
---|---|---|---|
jgm | 1 | 13638 | |
begriffs | 2 | 10650 | |
koalaman | 3 | 10508 | |
elm-lang | 4 | 6119 | |
ekmett | 5 | 5053 | |
purescript | 6 | 4882 | |
sdiehl | 7 | 4577 | |
8 | 4545 | ||
commercialhaskell | 9 | 4402 | |
haskell | 10 | 4271 | |
jaspervdj | 11 | 4243 | |
bos | 13 | 3517 | |
chrisdone | 14 | 3460 | |
yesodweb | 15 | 3381 | |
galoisinc | 16 | 3124 | |
gabriel439 | 17 | 2824 | |
input-output-hk | 18 | 2720 | |
ndmitchell | 19 | 2417 | |
idris-lang | 20 | 2394 | |
luna | 21 | 2349 | |
data61 | 22 | 2262 | |
ghcjs | 23 | 2232 | |
mikeizbicki | 24 | 2109 | |
ghc | 25 | 2027 |