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
Conor McBride
@pigworker
#1
673
James Chapman
@jmchapman
#2
54
Uma Zalakain
@umazalakain
#3
21
Bruno Gavranoviฤ
@bgavran
#4
7
Fredrik Nordvall Forsberg
@fredrikNordvallForsberg
#5
4
1