Agda
languages / Agda1,090Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | agda | 13 | 1,363 |
2 | ![]() | plfa | 1 | 1,194 |
3 | ![]() | pigworker | 21 | 716 |
4 | ![]() | HoTT | 2 | 394 |
5 | ![]() | gallais | 16 | 380 |
6 | ![]() | martinescardo | 3 | 362 |
7 | ![]() | cedille | 3 | 356 |
8 | ![]() | EgbertRijke | 2 | 349 |
9 | ![]() | liamoc | 4 | 315 |
10 | ![]() | UlfNorell | 12 | 274 |
2,113Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | plfa.github.io | 1,194 | plfa |
![]() | 2 | agda-stdlib | 491 | agda |
![]() | 3 | HoTT-Agda | 372 | HoTT |
![]() | 4 | cubical | 349 | agda |
![]() | 5 | HoTT-Intro | 344 | EgbertRijke |
![]() | 6 | cedille | 323 | cedille |
![]() | 7 | learn-you-an-agda | 311 | liamoc |
![]() | 8 | agda-categories | 294 | agda |
![]() | 9 | CS410-17 | 241 | pigworker |
![]() | 10 | HoTT-UF-Agda-Lecture-Notes | 202 | martinescardo |
Most popular
Topic | Repos | Stars |
---|---|---|
book | 3 | 1,292 |
proof-assistant | 5 | 1,205 |
programming-languages | 1 | 1,160 |
hott | 2 | 708 |
proof | 3 | 545 |
dependent-types | 8 | 492 |
library | 4 | 480 |
homotopy-type-theory | 8 | 395 |
homotopy | 1 | 367 |
lambda-calculus | 7 | 365 |