Showing entries 1-11 out of 11.
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
New Categories library
Programming library for Agda
Total Parser Combinators in Agda
Cubical type theory library for use with the Agda compiler
Nonstandard library for Cubical Agda
Formalizing linear algebra in Agda by representing matrices as functions from one vector space to …
Library for doing generic programming in Agda
Library for datatype-generic programming in Agda
Agda standard library developed at Iowa
Standard library for use with the Agda compiler