clarus/coq-transducer
Experiments on tranducers.
Public GitHub Catalog
Discovered Oct 2, 2026
clarus / coq-list-string
Strings implemented as lists.
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.
#24882402GitHub System ID
clarusOrganization / User
PublicVisibility
ActiveCatalog Status
More from clarus
clarus/coq-error-handlers
Simple and robust error handling functions.
clarus/coq-function-ninjas
Simple functional combinators.
clarus/icons
Commercial icons used for my projects.