Top Agda repos

languages / Agda / global

2,745 repos

«12...275»
RankRepoStarsDeveloper
plfa/plfa.github.io on Github1plfa.github.io1,369plfa
agda/agda-stdlib on Github2agda-stdlib581agda
agda/cubical on Github3cubical454agda
HoTT/HoTT-Agda on Github4HoTT-Agda414HoTT
agda/agda-categories on Github5agda-categories367agda
cedille/cedille on Github6cedille365cedille
EgbertRijke/HoTT-Intro on Github7HoTT-Intro358EgbertRijke
the1lab/1lab on Github81lab348the1lab
liamoc/learn-you-an-agda on Github9learn-you-an-agda311liamoc
pigworker/CS410-17 on Github10CS410-17263pigworker