Top Idris developers globally

1,168 developers

Rank		Developer	Repos	Stars
1		idris-lang	1	2,412
2		edwinb	18	1,994
3		idris-hackers	12	1,195
4		stefan-hoeck	46	638
5		mmhelloworld	5	474
6		joaomilho	2	382
7		typedefs	2	368
8		ziman	11	365
9		statebox	6	331
10		david-christiansen	9	296