np/nested-agda
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
np / stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#13919514GitHub System ID
npOrganization / User
PublicVisibility
ActiveCatalog Status
More from np
np/qlen
Public repository.
np/timeplot
Analyst's swiss army knife for visualizing data from ad-hoc log files
np/jq
Command-line JSON processor