Lean Language Ranking

Country:

Rank	Login	Location	Stars
1	teorth		1,668
2	digama0	🇸🇪 Gothenburg, Sweden	527
3	lecopivo		479
4	PatrickMassot	🇫🇷 Paris	430
5	dselsam		420
6	dwrensha	🇺🇸 Pittsburgh, PA	364
7	blanchette	🇩🇪 Munich, Germany	336
8	AndrasKovacs		315
9	avigad	Pittsburgh	296
10	kbuzzard	🇬🇧 London	278
11↑2	konne88		254
12	b-mehta	Cambridge	212
13	cmu-l3		210
14	AlexKontorovich		199
15	Kha	🇩🇪 Munich, Germany	178
16	jesse-michael-han	Pittsburgh	172
17	fpvandoorn	Bonn	156
18	chasenorman		140
19	ndrwnaguib	Waterloo, ON	134
20	siddhartha-gadgil	🇮🇳 Bangalore	134
21	flypitch	Pittsburgh	133
22	eric-wieser	🇬🇧 Greater London area	126
23	nomeata	🇩🇪 Freiburg, Germany	124
24	kim-em	🇦🇺 Canberra	118
25	kmill	🇺🇸 Santa Cruz, California	117
26	TwoFX	🇩🇪 Karlsruhe, Germany	116
27	algebraic-dev		114
28	tydeu	🇺🇸 United States	113
29	zhangir-azerbayev		106
30	gebner	🇺🇸 Seattle, Wash.	104
31	T-Brick	Pittsburgh	100
32	rzrn		97
33	marcusrossel	🇩🇪 Dresden, Germany	95
34	vihdzp	🇲🇽 Guanajuato, Mexico	95
35	emilyriehl	🇺🇸 Baltimore, MD	95
36	rami3l		87
37	Timeroot	University of Waterloo	86
38	yuma-mizuno		85
39	loganrjmurphy	🇨🇦 Toronto, Ontario, Canada	78
40	riccardobrasca	🇫🇷 Paris	76
41	hargoniX	🇩🇪 Munich, Germany	74
42	YaelDillies	🇸🇪 Stockholm	73
43	mirefek		72
44	jldodds	🇺🇸 Portland, OR	72
45	optsuite	🇨🇳 Beijing, China	72
46	ATOMSLab	🇺🇸 Baltimore, Maryland	72
47	girving	🇬🇧 London	69
48	fgdorais	🇺🇸 Burlington, Vermont, USA	69
49	arthurpaulino	🇧🇷 Brazil	68
50	madvorak	Czech Republic	66
51	yangky11	🇺🇸 New York, NY	65
52	pandaman64	🇯🇵 Japan	64
53	aripiprazole	🇧🇷 são paulo, brasil	64
54	JOSHCLUNE		63
55	BoltonBailey	🇺🇸 California	56
56	djvelleman	🇺🇸 Annapolis, MD, USA	53
57	rwbarton		52
58	sinhp		51
59	JamesGallicchio	🇺🇸 Pittsburgh, PA	50
60	hrmacbeth	🇬🇧 London, UK	49
61	Seasawher	🇯🇵 Japan	47
62	kevinsullivan		45
63	andrejbauer	🇸🇮 Slovenia	44
64	wellecks	Pittsburgh	44
65	ramonfmir	🇬🇧 London	43
66	robertylewis	🇺🇸 Providence, RI	43
67	astrainfinita	🇨🇳 {Futian, Longgang}, Shenzhen 深圳{福田, 龙岗}	43
68	alexkeizer	Cambridge	42
69	bhgomes	🇺🇸 New York City	41
70	david-christiansen	🇩🇰 Copenhagen, Denmark	40
71	gaearon		39
72	mmasdeu	Bellaterra, Catalunya	39
73	mariainesdff		39
74	fraware		39
75	vaibhavkarve	🇺🇸 Boston, MA	38
76	sgraf812	🇩🇪 Karlsruhe, Germany	37
77	kiranandcode	Illinois, US	37
78	0art0		36
79	jjdishere		36
80	liuchengwucn		36
81	BinderDavid	🇬🇧 Canterbury, UK	35
82	alexjbest	🇬🇧 London, UK	34
83	adamtopaz		34
84	jsm28		33
85	mo271	🇨🇭 Basel, CH	33
86	GasStationManager		32
87	bergmannjg	🇩🇪 Germany	31
88	duckki	🇺🇸 Seattle, WA, USA	31
89	apnelson1		31
90	RemyDegenne	Lille	29
91	Lizn-zn		29
92	annenkov	🇩🇰 Aarhus	28
93	jdan	🇺🇸 Hoboken, NJ	28
94	jtristan	🇺🇸 United States	28
95	tomahawkins	🇺🇸 Bellingham, WA	27
96	kendfrey		27
97	lengyijun	🇨🇳 China Shanghai	27
98	quantumformalism	🇬🇧 UK	27
99	ionathanch	🇨🇦 Vancouver, Canada	27
100	m4lvin	EU	27