Statistics for language Agda
RepositoryStats tracks 618,347 Github repositories, of these 40 are reported to use a primary language of Agda.
Most starred repositories for language Agda (view more)
Trending repositories for language Agda (view more)
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
being the materials for a paper I have in mind to write about the bidirectional discipline
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Formal specifications of the cardano ledger
Extensions to the cubical stdlib category theory for categorical logic/type theory