maximedenes/coq-amd64
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
maximedenes / native-coq
Coq with native compilation, as well as machine integers and arrays !
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.
#1431027GitHub System ID
maximedenesOrganization / User
PublicVisibility
ActiveCatalog Status
More from maximedenes
maximedenes/coqFFI
Public repository.
maximedenes/cybele
A Coq plugin for simpler proofs by reflection or OCaml certificates.
maximedenes/repo-stable
The repository for stable Coq packages.