F* Language Ranking

Country:

Rank	Login	Location	Stars
1	felixstorm	🇩🇪 Germany	43
2	denismerigoux	🇫🇷 Paris	27
3	s-falke		20
4	xthua		20
5	wenkokke	🇬🇧 Scotland	16
6	mtzguido	🇺🇸 Seattle	15
7	konnov	🇦🇹 Vienna, Austria	14
8	rsennrich		11
9	plemey		11
10	graehl	🇺🇸 Los Angeles, CA	11
11	borgestassio		11
12	catalin-hritcu	🇩🇪 Bochum, Germany	10
13	amiller	🇺🇸 Champaign, IL	9
14	d-plaindoux	🇫🇷 Toulouse, France	8
15	kant2002	🇰🇿 Almaty, Kazakhstan	8
16	santhoshtr	🇮🇳 Thiruvananthapuram, Kerala, India	7
17	W95Psp	🇫🇷 France	7
18	hacklex		7
19	anakrish	🇺🇸 Redmond, WA	6
20	andricicezar	🇩🇪 Bochum, Germany	6
21	ckelley2	🇺🇸 Albuquerque	6
22	kayceesrk	🇮🇳 Chennai, India	5
23	vappiah		5
24	quanc1989	🇨🇳 Beijing	5
25	jaybosamiya		4
26	kavyamanohar	🇮🇳 Thiruvananthapuram, Kerala, India	4
27	idavydov	🇨🇭 Basel, Switzerland	4
28	igorpnk		4
29	Starwort	🇬🇧 United Kingdom	3
30	ebranlard		3
31	sonmarcho	🇫🇷 Paris	3
32	mgtools		3
33	antjedittmer		2
34	danelahman	🇪🇪 Tartu	2
35	ForNeVeR	🇳🇱 Netherlands	2
36	andreasabel	🇸🇪 Gothenburg, Sweden	2
37	tchajed	🇺🇸 Madison, WI	2
38	johnjasa		2
39	mariari		2
40	aseemr		2
41	TWal		2
42	mgritter	🇺🇸 Eagan, MN	2
43	gantech		2
44	charlie-j		2
45	ahaselsteiner		2
46	wyoibc	🇺🇸 Laramie, WY	2
47	PhysaliaIntroPopGen		2
48	ricklupton		1
49	johnjcamilleri	🇸🇪 Gothenburg, Sweden	1
50	marchdf		1
51	jaredgk		1
52	chrilves	🇫🇷 Paris, France	1
53	jennirinker	🇩🇰 Copenhagen, Denmark	1
54	Boussau	🇫🇷 France	1
55	clarus	🇫🇷 Paris	1
56	TheoWinterhalter	Saclay	1
57	vinuesa	🇲🇽 Cuernavaca, Morelos, Mexico	1
58	Demuirgos	🇲🇦 Rabat, Morocco	1
59	me2d09		1
60	unixnme		1
61	pdoubraw		1
62	mateuszbujalski		1
63	ericthewry	🇺🇸 Austin, TX	1
64	jesseishi		1
65	KawaneRio	🇯🇵 Japan	1
66	rybchuk	🇺🇸 Boulder, CO	1
67	jrood-nrel		1
68	mbkuhn		1
69	RemyCiterin		1
70	opendecarbonization		1
71	lawrenceccheung		1
72	Delphine-L	🇺🇸 State College, PA	1
73	lenzo-ka		1
74	badeshiben		1
75	ikibalin		1
76	thomaskf	🇦🇺 Australia	1
77	nomadscientist	Milton Keynes	1
78	ammarkarkour	🇶🇦 Doha / Qatar	1
79	akijarl		1
80	Ian-Ammerman	🇺🇸 Orono, ME, USA	1
81	Seager1989	Piscataway	1
82	Jesusthebotanist	Cornell University	1
83	xpclove	🇨🇳 Shanghai	1
84	raywray		1
85	jeongheon81		1
86	marwaniiwael18	🇹🇳 Ariana, Tunisia	1
87	ValentinChb		1
88	nicolascortegoso		1
89	alino93	🇺🇸 Minneapolis, Minnesota, USA	1
90	mehdyG	🇩🇪 Germany	1
91	Hydronautica		1
92	NAUTILUS-Floating-Solutions		1