ryanorendorff Ryan Orendorff
github.com/ryanorendorff · maintains 2 packages (2 directly), sole maintainer of 1, member of 0 teams
2 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Formalizing linear algebra in Agda by representing matrices as functions
from one vector space to another.
|
0.5.0 |
1 | 3 | 0 | 0 | single | ||
Cubical type theory library for use with the Agda compiler |
0.9 |
4 | 3 | 0 | 0 | maintained |