np/agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
Public GitHub Catalog
Discovered Sep 24, 2026
np / frquotes
Translate the French-Quotes in a UTF-8 Haskell file into a Quasi-Quotation that can be instantiated later on.
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.
#1463288GitHub System ID
npOrganization / User
PublicVisibility
ActiveCatalog Status
More from np
np/agda-prelude
Programming library for Agda
np/NomPa
Public repository.
np/terminal
A work-in-progress portable lens-based terminal