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 |