mattpolzin Matt Polzin
github.com/mattpolzin · maintains 9 packages (9 directly), sole maintainer of 4, member of 0 teams
4 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Idris2 Compiler API Library |
0.8.0 |
1 | 4 | 2 | 2 | single | ||
Language Server for Idris2 |
2025-09-10 |
1 | 6 | 0 | 0 | single | ||
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 |