HigherOrderLogic Hol
github.com/HigherOrderLogic · maintains 6 packages (5 directly), sole maintainer of 4, member of 0 teams
6 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 | ||
Steel language server |
0.8.2 |
2 | 8 | 0 | 0 | maintained | ||
TypeScript Execute (tsx): The easiest way to run TypeScript in Node.js |
4.23.12 |
2 | 6 | 2 | 2 | maintained | ||
Wayland connection proxy |
0.1.4 |
1 | 8 | 0 | 0 | single |