Agda

languages / Agda
1,180Developers

Top ranked

RankDeveloperReposStars
1gravatar for agdaagda151,559
2gravatar for plfaplfa11,228
3gravatar for pigworkerpigworker21725
4gravatar for HoTTHoTT2410
5gravatar for gallaisgallais16388
6gravatar for martinescardomartinescardo3383
7gravatar for cedillecedille3365
8gravatar for EgbertRijkeEgbertRijke2354
9gravatar for liamocliamoc4315
10gravatar for UlfNorellUlfNorell12278
2,356Repos

Top ranked

RankRepoStarsDeveloper
plfa/plfa.github.io on Github1plfa.github.io1,228plfa
agda/agda-stdlib on Github2agda-stdlib513agda
HoTT/HoTT-Agda on Github3HoTT-Agda388HoTT
agda/cubical on Github4cubical367agda
EgbertRijke/HoTT-Intro on Github5HoTT-Intro349EgbertRijke
cedille/cedille on Github6cedille330cedille
liamoc/learn-you-an-agda on Github7learn-you-an-agda311liamoc
agda/agda-categories on Github8agda-categories307agda
pigworker/CS410-17 on Github9CS410-17246pigworker
plt-amy/1lab on Github101lab220plt-amy
0Topics

Most popular

TopicReposStars