Top Agda repos

languages / Agda / global

2,492 repos

«12...250»
RankRepoStarsDeveloper
plfa/plfa.github.io on Github1plfa.github.io1,305plfa
agda/agda-stdlib on Github2agda-stdlib554agda
agda/cubical on Github3cubical416agda
HoTT/HoTT-Agda on Github4HoTT-Agda401HoTT
EgbertRijke/HoTT-Intro on Github5HoTT-Intro353EgbertRijke
cedille/cedille on Github6cedille353cedille
agda/agda-categories on Github7agda-categories347agda
liamoc/learn-you-an-agda on Github8learn-you-an-agda311liamoc
plt-amy/1lab on Github91lab284plt-amy
pigworker/CS410-17 on Github10CS410-17259pigworker