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 🇺🇾
-
Austin
Bellevue
Berlin
Birmingham
Bloomington
Boston
Bristol
Brussels
Cambridge
Chicago
College Park
Cologne
Copenhagen
Cupertino
Dublin
Dundee
Findlay Township
Fishers
Glasgow
Gothenburg
Hamilton
Houston
Kresge Ford Basement Courtyard
Liverpool
London
Madrid
Minneapolis
Moscow
Nekoma
New York
Oklahoma City
Oxford
Paris
Philadelphia
Pittsburgh
Portland
Raleigh
Reading
San Andreas
San Diego
San Francisco
San Francisco Bay Area
Seattle
Southampton
Stockholm
Temecula
Terre Haute
The Nixon Store
Urbana
Vancouver
Vienna
Washington
Waterloo
Artem Shinkarov
@ashinkarov
#1
9
Roly Perera
@rolyp
#2
8
Namdak Tonpa
@5HT
#3
7
Georgy Lukyanov
@geo2a
#4
1
1