Agda

languages / Agda
1,173Developers

Top ranked

RankDeveloperReposStars
1gravatar for agdaagda151,665
2gravatar for plfaplfa11,273
3gravatar for pigworkerpigworker21736
4gravatar for martinescardomartinescardo3424
5gravatar for HoTTHoTT2419
6gravatar for gallaisgallais16401
7gravatar for cedillecedille3383
8gravatar for EgbertRijkeEgbertRijke2355
9gravatar for liamocliamoc4316
10gravatar for UlfNorellUlfNorell12285
2,274Repos

Top ranked

RankRepoStarsDeveloper
plfa/plfa.github.io on Github1plfa.github.io1,273plfa
agda/agda-stdlib on Github2agda-stdlib531agda
agda/cubical on Github3cubical404agda
HoTT/HoTT-Agda on Github4HoTT-Agda395HoTT
EgbertRijke/HoTT-Intro on Github5HoTT-Intro350EgbertRijke
cedille/cedille on Github6cedille343cedille
agda/agda-categories on Github7agda-categories336agda
liamoc/learn-you-an-agda on Github8learn-you-an-agda310liamoc
plt-amy/1lab on Github91lab264plt-amy
pigworker/CS410-17 on Github10CS410-17255pigworker
0Topics

Most popular

TopicReposStars