Username | World rank | Stars | |
---|---|---|---|
cisco | 1 | 3907 | |
opencog | 2 | 1473 | |
webyrd | 3 | 1452 | |
aoh | 4 | 1330 | |
eholk | 5 | 1165 | |
part-cw | 6 | 1050 | |
yinwang0 | 7 | 787 | |
jeffbezanson | 8 | 730 | |
shirok | 9 | 614 | |
namin | 10 | 606 | |
huangz1990 | 11 | 582 | |
mwand | 12 | 573 | |
neo4j-contrib | 13 | 562 | |
pkrumins | 14 | 560 | |
jiacai2050 | 15 | 533 | |
ashinn | 16 | 492 | |
akeep | 17 | 442 | |
18 | 434 | ||
minikanren | 19 | 355 | |
picrin-scheme | 20 | 345 | |
nalaginrut | 21 | 337 | |
vyzo | 22 | 301 | |
hgneng | 23 | 286 | |
scheme | 24 | 264 | |
the-little-prover | 25 | 264 |