Agda Language Ranking

Country:

Rank	Login	Location	Stars
1	pigworker	🇬🇧 Glasgow	701
2	martinescardo	🇬🇧 United Kingdom	568
3	gallais	🇬🇧 Glasgow, Scotland	433
4	AndrasKovacs		328
5	UlfNorell		302
6	EgbertRijke	🇺🇸 Baltimore, MD	201
7	wenkokke	🇬🇧 Scotland	187
8	liamoc	🇦🇺 Canberra	185
9	effectfully		177
10	jsiek	🇺🇸 Bloomington, IN	173
11	jespercockx		164
12	copumpkin	🇺🇸 Washington	159
13	scott-fleischman		154
14	alhassy	🇨🇦 Canada	150
15	ice1000	Pennsylvania, Gensokyo	146
16	scmu	🇹🇼 Taiwan	139
17	Saizan		132
18	dlicata335		129
19	FrozenWinters		115
20	sstucki	🇸🇪 Gothenburg, Sweden	114
21	jonsterling	🇬🇧 Cambridge, Cambridgeshire, UK	109
22	thehottgame		109
23	mietek		100
24	conal	🇺🇸 San Andreas, California, USA	98
25	JacquesCarette	🇨🇦 Hamilton, Ontario, Canada	88
26	pcapriotti	🇮🇹 Fermo, Italy	86
27	iwilare	🇪🇪 Tallinn, Estonia	81
28	TOTBWF	🇧🇲 Hamilton, ON	80
29	HarrisonGrodin	🇺🇸 Pittsburgh, PA	77
30	L-TChen	🇹🇼 Taiwan	76
31	ericfinster	🇬🇧 birmingham, UK	73
32	nachivpn		69
33	zaklogician		67
34	oisdk	🇮🇪 Cork, Ireland	64
35	jmchapman	🇬🇧 Glasgow, UK	61
36	anuyts		61
37↑4	wouter-swierstra	🇳🇱 Utrecht, the Netherlands	60
38↓1	mr-ohman		60
39	guillaumebrunerie	🇸🇪 Stockholm, Sweden	59
40↓2	fredefox	🇩🇰 Copenhagen, Denmark	59
41↑3	felixwellen	🇸🇪 Gothenburg, Sweden	59
42↓2	danelahman	🇪🇪 Tartu	57
43↓1	bobatkey	🇬🇧 Edinburgh, UK	56
44↓1	WhatisRT		56
45	DimaSamoz	🇬🇧 Cambridge, United Kingdom	55
46	pedagand		54
47	umazalakain	🇬🇧 Glasgow, Scotland	53
48	sergei-romanenko		53
49	Trebor-Huang	Internal cat of a doughnut	51
50	langston-barrett	Brooklyn	50
51	mikeshulman	🇺🇸 San Diego, CA	48
52↑3	YouyouCong	🇯🇵 Tokyo, Japan	48
53	maxsnew	🇺🇸 Ann Arbor, MI	47
54↓2	gergoerdi		46
55↓1	0xd34df00d	🇺🇸 TX, US	46
56	omelkonian	🇬🇧 Kirkwall, Orkney, Scotland	42
57	rodrigogribeiro		41
58	andreasabel	🇸🇪 Gothenburg, Sweden	39
59	HuStmpHrrr	🇺🇸 Seattle, WA	39
60	halfaya	🇺🇸 Bellevue, Washington	38
61↑1	m-yac		37
62↑1	fredrikNordvallForsberg	🇬🇧 Glasgow, UK	36
63↓2	nad		36
64	mortberg	🇸🇪 Sweden	34
65	kcsmnt0		34
66	JLimperg	🇩🇪 Munich, Germany	34
67↑2	ajrouvoet		33
68↓1	VictorTaelin	🇧🇷 Rio de Janeiro, Brazil	33
69↓1	kangxyz	somewhere, somewhere	33
70	elpinal		32
71	mroman42	Oxford, GB	31
72	niccoloveltri		31
73	JorisCeulemans	Leuven	31
74	dorchard	🇬🇧 Canterbury, UK	29
75	CodaFi	Pittsburgh	29
76	ernius	🇺🇾 Uruguay	29
77	JonathanLorimer	🇨🇦 Toronto, Ontario	29
78	andrejbauer	🇸🇮 Slovenia	28
79	bch29		28
80	dunhamsteve	🇺🇸 Seattle	28
81	MatthewDaggitt		28
82	ezyang	🇺🇸 New York, NY	27
83	isovector	🇬🇩 Victoria, BC	27
84	ryanorendorff		27
85	casvdrest	Delft	27
86	fsestini	🇬🇧 Cambridge, England	27
87	favonia	🇺🇸 Minneapolis, MN, USA	26
88	tsung-ju	🇸🇬 Singapore	26
89	flupe	Den Haag, NL	25
90	jstolarek	🇵🇱 Łódź, Poland	24
91	awswan	🇸🇮 Ljubljana	24
92	asr		23
93↑4	z-murray		23
94↓1	ayberkt	🇬🇧 Birmingham, UK	22
95↓1	IanOrton		22
96↓1	arthuraa	🇺🇸 Rochester, NY, USA	22
97↑2	vikraman	🇬🇧 Glasgow, UK	22
98↓2	laMudri		22
99↓1	Chaaaos		22
100	peterlefanulumsdaine	🇸🇪 Stockholm, Sweden	20