15
12
22
Our great sponsors
Mentions
@
|
Stars | Project | Description | |
---|---|---|---|---|
We couldn't find any libraries for the selected period |
Popular Agda Topics
Latest Mentions
Latest mentioned Agda repos
Stars | Project |
---|---|
491 | agda-stdlib |
294 | agda-categories |
103 | TheHoTTGame |
8 | template-agda |
49 | potpourri |
0 | learning-agda |
108 | Agda |
17 | functional-linear-algebra |
352 | cubical |
1 | ninedigitproblem |
4 | premonoidal |
0 | agda-life |
98 | agdarsec |
12 | pny1-assignment |
6 | agda-playground |
Latest Discoveries
Latest discovered Agda repos
Stars | Project |
---|---|
103 | TheHoTTGame |
8 | template-agda |
0 | learning-agda |
108 | Agda |
17 | functional-linear-algebra |
49 | potpourri |
1 | ninedigitproblem |
4 | premonoidal |
294 | agda-categories |
98 | agdarsec |
0 | agda-life |
491 | agda-stdlib |
12 | pny1-assignment |
352 | cubical |
6 | agda-playground |