Top Idris developers globally

1,167 developers

Rank		Developer	Repos	Stars
1		idris-lang	1	2,392
2		edwinb	18	1,993
3		idris-hackers	12	1,193
4		stefan-hoeck	46	622
5		mmhelloworld	5	472
6		joaomilho	2	381
7		typedefs	2	367
8		ziman	11	365
9		statebox	6	330
10		david-christiansen	9	295