Statistics for language Agda
RepositoryStats tracks 634,535 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.
Logical manifestations of topological concepts, and other things, via the univalent point of view.
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 slow-paced introduction to reflection in Agda. ---Tactics!
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
being the materials for a paper I have in mind to write about the bidirectional discipline