Top Idris GitHub developers in United states



Username Country rank Stars
771425?v=3 mmhelloworld 1 244
37715?v=3 puffnfresh 2 227
5741341?v=3 kestertong 3 120
13259982?v=3 vmchale 4 55
5386869?v=3 japesinator 5 49
174413?v=3 stepcut 6 32
33031?v=3 sellout 7 27
42474?v=3 ajhager 8 20
1289006?v=3 andyarvanitis 9 20
764688?v=3 davidfstr 10 18
1866448?v=4 yurrriq 11 15
16354815?v=3 lambda-11235 12 12
55057?v=3 jonsterling 13 11
12239684?v=3 danilkolikov 14 10
2364661?v=3 ryanglscott 15 7
147284?v=3 eraserhd 16 7
447?v=3 dysinger 17 7
1583002?v=3 superfunc 18 6
744293?v=4 aatxe 19 5
13614502?v=3 hzelenka 20 4
6767374?v=3 risto-stevcev 21 4
2703156?v=3 emptyflash 22 4
335271?v=4 afldcr 23 3
4085046?v=3 imuli 24 3
1332980?v=3 adelbertc 25 3