GIT Stars
Home
Top languages
Top users
About
Login
Home
Languages
Coq
Top users by languages
Coq
Back to languages list
All users
Only individuals
Only organizations
Worldwide
Australia ðŠðº
Belgium ð§ðª
Bolivia (Plurinational State of) ð§ðŽ
Brazil ð§ð·
Bulgaria ð§ð¬
Canada ðšðŠ
Chile ðšð±
China ðšð³
Colombia ðšðŽ
Cyprus ðšðŸ
Czechia ðšð¿
Denmark ð©ð°
Estonia ðªðª
Finland ð«ð®
France ð«ð·
Germany ð©ðª
Greece ð¬ð·
Iceland ð®ðž
India ð®ð³
Iran (Islamic Republic of) ð®ð·
Ireland ð®ðª
Italy ð®ð¹
Japan ð¯ðµ
Korea (Republic of) ð°ð·
Malawi ð²ðŒ
Malaysia ð²ðŸ
Mexico ð²ðœ
Netherlands ð³ð±
Norway ð³ðŽ
Poland ðµð±
Portugal ðµð¹
Russian Federation ð·ðº
Singapore ðžð¬
Slovenia ðžð®
Spain ðªðž
Sweden ðžðª
Switzerland ðšð
Taiwan (Province of China) ð¹ðŒ
Thailand ð¹ð
Turkey ð¹ð·
Ukraine ðºðŠ
United Kingdom of Great Britain and Northern Ireland ð¬ð§
United States of America ðºðž
Uruguay ðºðŸ
-
Aarhus
Copenhagen
Patrick Bahr
@pa-ba
#1
50
DIKU
@diku-dk
#2
2
Christian KjÊr Larsen
@christiankjaer
#3
1
1