Idris Language Ranking

Country:

Rank	Login	Location	Stars
1	edwinb		2,025
2	stefan-hoeck		901
3	mmhelloworld	🇺🇸 New York	460
4	ziman		405
5	joaomilho	🇩🇪 Berlin, Germany	403
6	david-christiansen	🇩🇰 Copenhagen, Denmark	299
7	puffnfresh	🇦🇺 Tasmania, Australia	180
8	jfdm	Europe	179
9	timjb	Augsburg, Europe	171
10	andorp	🇬🇧 London, United Kingdom	170
11	gallais	🇬🇧 Glasgow, Scotland	151
12	bamboo	🇧🇷 Brazil	149
13	christian-public	🇳🇴 Norway	143
14	KesterTong	🇺🇸 New York	128
15	joom	🇺🇸 New York City	128
16	vmchale		119
17	clayrat	🇪🇸 Madrid	113
18	AndrasKovacs		97
19	mattpolzin	🇺🇸 Columbia, MO	84
20	joelberkeley		85
21	QuentinDuval	🇨🇦 Montreal	75
22	Russoul	🇬🇪 Tbilisi, Georgia	71
23	A1kmm	🇦🇺 Melbourne, Australia	70
24	japesinator	🇺🇸 NYC	67
25	MarcelineVQ		66
26	SimonJF	🇬🇧 Glasgow	59
27↑1	jameshaydon	🇯🇵 Tokyo, Japan	53
28↑6	Z-snails		53
29	algebraic-dev		53
30↓3	bravit	🇨🇾 Larnaca, Cyprus	52
31↑1	ToJans	🇧🇪 Zottegem, Belgium	51
32↓2	pheymann	🇩🇪 Germany	51
33↓2	ECburx		51
34↓1	rbarreiro	🇵🇹 Lisbon	50
35↑2	ohad		49
36↓1	buzden		48
37↓1	alexhumphreys		48
38	fieldstrength	🇸🇪 Stockholm	46
39	madman-bob		46
40	doofin	🇳🇴 Norway	45
41	owickstrom	🇸🇪 Sweden	44
42	bmsherman		41
43	kbertalan		40
44	i-am-tom	🇪🇸 Barcelona	39
45	leon-vv	🇳🇱 The Netherlands	39
46	eayus	🇬🇧 United Kingdom	37
47	sbp		36
48	jdevuyst		35
49	uwap	🇩🇪 Germany	35
50	steshaw	🇦🇺 Brisbane, Australia	34
51	corazza	🇩🇪 Dortmund, Germany // Zagreb, Croatia	33
52	davidfstr	🇺🇸 Seattle, WA, USA	31
53	lenary		31
54	DoctorRainer	Deutschland	31
55	gergoerdi		30
56	kasiaMarek		30
57	LightAndLight	🇦🇺 Australia	29
58	bgavran	🇬🇧 London, United Kingdom	29
59	trillioneyes		28
60	0xd34df00d	🇺🇸 TX, US	28
61	danilkolikov		27
62	eckart	🇩🇪 Hamburg	26
63	wenkokke	🇬🇧 Scotland	26
64	HuwCampbell	🇦🇺 Australia	26
65↑1	sellout	🇺🇸 Boulder, CO, USA	25
66↓1	gonzaw	🇺🇾 Uruguay	25
67	ctford	🇪🇸 Barcelona	24
68	JoeyEremondi	🇨🇦 Regina, Saskatchewan, Canada	24
69	palladin	🇬🇷 Greece	23
70	zanzix		23
71	jaredloomis	🇺🇸 NYC	22
72	hydrolarus		22
73	tonymorris	🇦🇺 Brisbane	21
74	raichoo	Bielefeld	21
75	thalerjonathan	🇦🇹 Austria, Vorarlberg, Hohenems	21
76	be5invis		20
77	brainrake	🇭🇺 Budapest, Hungary	20
78	jstolarek	🇵🇱 Łódź, Poland	20
79	stepcut	🇺🇸 Evanston, IL	19
80	jdolson		19
81	andyarvanitis	Silicon Valley	18
82	reynir	🇩🇰 Denmark	18
83	BartoszMilewski	🇫🇷 Paris, France	17
84	FranckS		17
85	Storyyeller		17
86	sigma-andex	🇵🇹 Portugal	17
87	domdere	🇦🇺 Sydney	16
88	lambda-11235	🇺🇸 California, United States	16
89	eraserhd	🇺🇸 Cleveland, OH USA	15
90	mukeshtiwari	Swansea	15
91	cwgoes	γαλαξίας κύκλος	15
92	CodingCellist		15
93	MaxOw		14
94	pbl64k	🇱🇻 Latvia	14
95	running-grass	🇨🇳 China Beijing	14
96	nicolabotta		14
97	zamdzhiev	🇫🇷 France	14
98	rpeszek	🇺🇸 Boulder, CO	13
99	yurrriq	🇺🇸 Minneapolis, MN	13
100	JakobBruenker		13