HigherOrderLogic Hol
github.com/HigherOrderLogic · maintains 6 packages (5 directly), sole maintainer of 4, member of 0 teams
4 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Beautiful Changelogs using Conventional Commits |
0.6.2 |
1 | 6 | 0 | 0 | single | ||
Ultra-pure, lag-free prompt with async Git status |
0-unstable-2026-02-24 |
1 | 2 | 0 | 0 | single | ||
Render markdown on the CLI, with pizzazz |
3.0.0 |
1 | 4 | 8 | 8 | single | ||
Wayland connection proxy |
0.1.4 |
1 | 8 | 0 | 0 | single |