Statistics for language Agda
RepositoryStats tracks 596,209 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)
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Extensions to the cubical stdlib category theory for categorical logic/type theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Extensions to the cubical stdlib category theory for categorical logic/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
Extensions to the cubical stdlib category theory for categorical logic/type theory
Formal specifications of the cardano ledger