22
15
35
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 |
421 | cubical |
212 | TypeTopology |
555 | 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 |
121 | agdarsec |
Latest Discoveries
Latest discovered Agda repos
Stars | Project |
---|---|
31 | aGdaREP |
212 | 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 |
121 | agdarsec |
0 | agda-life |
555 | agda-stdlib |
12 | pny1-assignment |
Recently updated posts
-
Static Type Safety with Variadic Functions: an Idea and a Question
-
The semantics of a simple functional language
-
Category of types
-
When do you find it better to use non-ASCII identifiers?
-
Category Theory Library for Agda