clarus/coq-list-string
Strings implemented as lists.
Public GitHub Catalog
Discovered Oct 1, 2026
clarus / coq-clojure-extraction
A Coq plugin to do extraction to Clojure
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.
#22340431GitHub System ID
clarusOrganization / User
PublicVisibility
ActiveCatalog Status
More from clarus
clarus/coq-configure
Experiments to use the latest `coq_makefile` for OPAM.
clarus/clarus.github.io
GitHub pages.
clarus/coq-hoq
Experiments to compile the standard library of HoTT independently.