3 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Idris2 Package Manager with Curated Package Collections |
2025-12-27 |
2 | 9 | 0 | 0 | maintained | ||
Language Server for Idris2 |
2025-09-10 |
1 | 6 | 0 | 0 | single | ||
Idris2 Compiler API Library |
0.8.0 |
1 | 4 | 2 | 2 | single |