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 |