Agda

languages / Agda
1,090Developers

Top ranked

RankDeveloperReposStars
1gravatar for agdaagda131,363
2gravatar for plfaplfa11,194
3gravatar for pigworkerpigworker21716
4gravatar for HoTTHoTT2394
5gravatar for gallaisgallais16380
6gravatar for martinescardomartinescardo3362
7gravatar for cedillecedille3356
8gravatar for EgbertRijkeEgbertRijke2349
9gravatar for liamocliamoc4315
10gravatar for UlfNorellUlfNorell12274
2,113Repos

Top ranked

RankRepoStarsDeveloper
plfa/plfa.github.io on Github1plfa.github.io1,194plfa
agda/agda-stdlib on Github2agda-stdlib491agda
HoTT/HoTT-Agda on Github3HoTT-Agda372HoTT
agda/cubical on Github4cubical349agda
EgbertRijke/HoTT-Intro on Github5HoTT-Intro344EgbertRijke
cedille/cedille on Github6cedille323cedille
liamoc/learn-you-an-agda on Github7learn-you-an-agda311liamoc
agda/agda-categories on Github8agda-categories294agda
pigworker/CS410-17 on Github9CS410-17241pigworker
martinescardo/HoTT-UF-Agda-Lecture-Notes on Github10HoTT-UF-Agda-Lecture-Notes202martinescardo
172Topics

Most popular