GIT Stars
Home
Top languages
Top users
About
Login
Home
Languages
Agda
Top users by languages
Agda
Back to languages list
All users
Only individuals
Only organizations
Worldwide
Argentina 🇦🇷
Australia 🇦🇺
Austria 🇦🇹
Brazil 🇧🇷
Bulgaria 🇧🇬
Canada 🇨🇦
China 🇨🇳
Colombia 🇨🇴
Czechia 🇨🇿
Denmark 🇩🇰
Estonia 🇪🇪
Finland 🇫🇮
France 🇫🇷
Germany 🇩🇪
Hungary ðŸ‡ðŸ‡º
Iceland 🇮🇸
India 🇮🇳
Ireland 🇮🇪
Italy 🇮🇹
Japan 🇯🇵
Netherlands 🇳🇱
New Zealand 🇳🇿
Norway 🇳🇴
Papua New Guinea 🇵🇬
Poland 🇵🇱
Portugal 🇵🇹
Russian Federation 🇷🇺
Slovakia 🇸🇰
Slovenia 🇸🇮
Spain 🇪🇸
Sweden 🇸🇪
Switzerland 🇨ðŸ‡
Taiwan (Province of China) 🇹🇼
Tunisia 🇹🇳
Turkey 🇹🇷
Ukraine 🇺🇦
United Kingdom of Great Britain and Northern Ireland 🇬🇧
United States of America 🇺🇸
Uruguay 🇺🇾
-
Prague
Guillaume Brunerie
@guillaumebrunerie
#1
46
Peter LeFanu Lumsdaine
@peterlefanulumsdaine
#2
17
1
