22
15
35
Our great sponsors
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- Onboard AI - Learn any GitHub repo in 59 seconds
- SaaSHub - Software Alternatives and Reviews
|
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 |
|---|---|
| 30 | aGdaREP |
| 404 | cubical |
| 202 | TypeTopology |
| 531 | agda-stdlib |
| 55 | system-f-omega |
| 38 | Samizdat |
| 13 | agda-regexp-automata |
| 46 | meta-cedille |
| 336 | agda-categories |
| 147 | agda2hs |
| 115 | TheHoTTGame |
| 8 | template-agda |
| 51 | potpourri |
| 0 | learning-agda |
| 113 | Agda |
| 20 | functional-linear-algebra |
| 1 | ninedigitproblem |
| 3 | premonoidal |
| 0 | agda-life |
| 110 | agdarsec |
Latest Discoveries
Latest discovered Agda repos
| Stars | Project |
|---|---|
| 30 | aGdaREP |
| 202 | TypeTopology |
| 55 | system-f-omega |
| 38 | Samizdat |
| 13 | agda-regexp-automata |
| 46 | meta-cedille |
| 147 | agda2hs |
| 115 | TheHoTTGame |
| 8 | template-agda |
| 0 | learning-agda |
| 113 | Agda |
| 20 | functional-linear-algebra |
| 51 | potpourri |
| 1 | ninedigitproblem |
| 3 | premonoidal |
| 336 | agda-categories |
| 110 | agdarsec |
| 0 | agda-life |
| 531 | agda-stdlib |
| 12 | pny1-assignment |