Agda

languages / Agda
1,049Developers

Top ranked

RankDeveloperReposStars
1gravatar for agdaagda131,291
2gravatar for plfaplfa11,146
3gravatar for pigworkerpigworker21707
4gravatar for HoTTHoTT2388
5gravatar for gallaisgallais16370
6gravatar for cedillecedille3348
7gravatar for EgbertRijkeEgbertRijke2341
8gravatar for martinescardomartinescardo3317
9gravatar for liamocliamoc4314
10gravatar for UlfNorellUlfNorell12271
2,046Repos

Top ranked

RankRepoStarsDeveloper
plfa/plfa.github.io on Github1plfa.github.io1,146plfa
agda/agda-stdlib on Github2agda-stdlib465agda
HoTT/HoTT-Agda on Github3HoTT-Agda366HoTT
EgbertRijke/HoTT-Intro on Github4HoTT-Intro336EgbertRijke
agda/cubical on Github5cubical321agda
cedille/cedille on Github6cedille318cedille
liamoc/learn-you-an-agda on Github7learn-you-an-agda310liamoc
agda/agda-categories on Github8agda-categories278agda
pigworker/CS410-17 on Github9CS410-17235pigworker
martinescardo/HoTT-UF-Agda-Lecture-Notes on Github10HoTT-UF-Agda-Lecture-Notes195martinescardo
168Topics

Most popular