22
15
35
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 |
---|---|
31 | aGdaREP |
420 | cubical |
211 | TypeTopology |
556 | agda-stdlib |
54 | system-f-omega |
41 | Samizdat |
15 | agda-regexp-automata |
54 | meta-cedille |
348 | agda-categories |
167 | agda2hs |
121 | TheHoTTGame |
8 | template-agda |
52 | potpourri |
0 | learning-agda |
116 | Agda |
24 | functional-linear-algebra |
1 | ninedigitproblem |
3 | premonoidal |
0 | agda-life |
120 | agdarsec |
Latest Discoveries
Latest discovered Agda repos
Stars | Project |
---|---|
31 | aGdaREP |
211 | TypeTopology |
54 | system-f-omega |
41 | Samizdat |
15 | agda-regexp-automata |
54 | meta-cedille |
167 | agda2hs |
121 | TheHoTTGame |
8 | template-agda |
0 | learning-agda |
116 | Agda |
24 | functional-linear-algebra |
52 | potpourri |
1 | ninedigitproblem |
3 | premonoidal |
348 | agda-categories |
120 | agdarsec |
0 | agda-life |
556 | agda-stdlib |
12 | pny1-assignment |