Statistics for language Agda
RepositoryStats tracks 584,765 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)
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A slow-paced introduction to reflection in Agda. ---Tactics!
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
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