phijor Philipp Joram
github.com/phijor · maintains 4 packages (4 directly), sole maintainer of 0, member of 0 teams
4 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Cubical type theory library for use with the Agda compiler |
0.9 |
4 | 3 | 0 | 0 | maintained | ||
agda-mode for Neovim |
0.2.0.1 → 2.8.0 |
2 | 25 | 1 | 1 | maintained outdated | ||
Graphical Git client designed to help you understand and manage your source code history |
2.0.0 |
2 | 14 | 0 | 0 | maintained | ||
0.2.0.1 |
2 | 25 | 0 | 0 | maintained |