Languages
Developers
Countries
Repos
Topics
Top Agda repos
languages
/
Agda
/
global
2,492 repos
«
1
2
...
250
»
Rank
Repo
Stars
Developer
1
plfa.github.io
1,305
plfa
2
agda-stdlib
554
agda
3
cubical
416
agda
4
HoTT-Agda
401
HoTT
5
HoTT-Intro
353
EgbertRijke
6
cedille
353
cedille
7
agda-categories
347
agda
8
learn-you-an-agda
311
liamoc
9
1lab
284
plt-amy
10
CS410-17
259
pigworker