24
15
36
|
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 |
|---|---|
| 28 | newt |
| 32 | aGdaREP |
| 479 | cubical |
| 253 | TypeTopology |
| 610 | agda-stdlib |
| 57 | system-f-omega |
| 50 | Samizdat |
| 17 | agda-regexp-automata |
| 57 | meta-cedille |
| 377 | agda-categories |
| 184 | agda2hs |
| 125 | TheHoTTGame |
| 8 | template-agda |
| 52 | potpourri |
| 0 | learning-agda |
| 124 | Agda |
| 26 | functional-linear-algebra |
| 1 | ninedigitproblem |
| 4 | premonoidal |
| 0 | agda-life |
Latest Discoveries
Latest discovered Agda repos
| Stars | Project |
|---|---|
| 28 | newt |
| 0 | agda-hardware |
| 32 | aGdaREP |
| 253 | TypeTopology |
| 57 | system-f-omega |
| 50 | Samizdat |
| 17 | agda-regexp-automata |
| 57 | meta-cedille |
| 184 | agda2hs |
| 125 | TheHoTTGame |
| 8 | template-agda |
| 0 | learning-agda |
| 124 | Agda |
| 26 | functional-linear-algebra |
| 52 | potpourri |
| 1 | ninedigitproblem |
| 4 | premonoidal |
| 377 | agda-categories |
| 125 | agdarsec |
| 0 | agda-life |
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