mattpolzin Matt Polzin
github.com/mattpolzin · maintains 9 packages (9 directly), sole maintainer of 4, member of 0 teams
9 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Open-source IDE For exploring and testing APIs |
4.0.0 → 4.2.1 |
5 | 15 | 0 | 0 | maintained outdated | ||
CLI of the open-source IDE For exploring and testing APIs |
4.0.0 → 4.2.1 |
4 | 7 | 0 | 0 | maintained outdated | ||
Purely functional programming language with first class types |
0.8.0 |
3 | 5 | 3 | 3 | maintained | ||
Idris2 Compiler API Library |
0.8.0 |
1 | 4 | 2 | 2 | single | ||
Language Server for Idris2 |
2025-09-10 |
1 | 6 | 0 | 0 | single | ||
Idris2 Package Manager with Curated Package Collections |
2025-12-27 |
2 | 9 | 0 | 0 | maintained | ||
Interactive wrapper for jq |
1.4.0 |
3 | 7 | 0 | 0 | maintained | ||
Pixel font designed to actually be good for programming |
2.2 |
1 | 4 | 0 | 0 | single | ||
Protoc plugin to generate Elixir code |
0.17.0 |
1 | 22 | 0 | 0 | single |