11 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory |
0-unstable-2025-07-01 |
1 | 3 | 0 | 0 | single | ||
New Categories library |
0.3.0 |
2 | 3 | 0 | 0 | maintained | ||
Programming library for Agda |
0-unstable-2024-08-22 |
3 | 3 | 0 | 0 | maintained | ||
Standard library for compiling Agda code to readable Haskell |
1.4 |
1 | 3 | 0 | 0 | single | ||
Total Parser Combinators in Agda |
0.5.0-unstable-2025-08-05 |
1 | 3 | 0 | 0 | single | ||
Cubical type theory library for use with the Agda compiler |
0.9 |
4 | 3 | 0 | 0 | maintained | ||
Nonstandard library for Cubical Agda |
0.5-unstable-2025-06-13 |
1 | 5 | 0 | 0 | single | ||
Formalizing linear algebra in Agda by representing matrices as functions
from one vector space to another.
|
0.5.0 |
1 | 3 | 0 | 0 | single | ||
Library for datatype-generic programming in Agda |
1.0.1 |
1 | 3 | 0 | 0 | single | ||
Agda standard library developed at Iowa |
1.5.0 |
2 | 3 | 0 | 0 | maintained broken | ||
Standard library for use with the Agda compiler |
2.3 |
4 | 3 | 4 | 4 | maintained |