22
15
35
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 4 | 557 | The Agda standard library | |
| 3 | 421 | An experimental library for Cubical Agda | |
| 3 | 347 | A new Categories library for Agda | |
| 1 | 212 | Logical manifestations of topological concepts, and other things, via the univalent point of view. | |
| 4 | 167 | Compiling Agda code to readable Haskell | |
| 1 | 121 | Total Parser Combinators in Agda | |
| 1 | 121 | Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT | |
| 1 | 116 | Agda formalisation of the Introduction to Homotopy Type Theory | |
| 1 | 55 | Minimalistic dependent type theory with syntactic metaprogramming | |
| 1 | 54 | System F-omega normalization by hereditary substitution in Agda | |
| 2 | 52 | Where my everyday research happens | |
| 1 | 41 | being bits and pieces I'm inclined to leave lying around | |
| 1 | 31 | Implementing grep in Agda | |
| 1 | 25 | Formalizing linear algebra in Agda by representing matrices as functions | |
| 1 | 15 | Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma. | |
| 1 | 12 | College assignment writing in which I ramble about type classes and dependent types. | |
| 1 | 8 | An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud. | |
| 1 | 7 | ||
| 2 | 3 | Agda encoding of premonoidal categories | |
| 2 | 1 | Solutions to a programming quiz in multiple languages |
Popular Agda Topics
Latest Mentions
Latest mentioned Agda repos
| Stars | Project |
|---|---|
| 31 | aGdaREP |
| 421 | cubical |
| 212 | TypeTopology |
| 557 | agda-stdlib |
| 54 | system-f-omega |
| 41 | Samizdat |
| 15 | agda-regexp-automata |
| 55 | meta-cedille |
| 347 | agda-categories |
| 167 | agda2hs |
| 121 | TheHoTTGame |
| 8 | template-agda |
| 52 | potpourri |
| 0 | learning-agda |
| 116 | Agda |
| 25 | 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 |
| 55 | meta-cedille |
| 167 | agda2hs |
| 121 | TheHoTTGame |
| 8 | template-agda |
| 0 | learning-agda |
| 116 | Agda |
| 25 | functional-linear-algebra |
| 52 | potpourri |
| 1 | ninedigitproblem |
| 3 | premonoidal |
| 347 | agda-categories |
| 121 | agdarsec |
| 0 | agda-life |
| 557 | 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