mattam82/metacoq
Reflection library for Coq
Public GitHub Catalog
Discovered Oct 7, 2026
mattam82 / repo-coqs
The repository for Coq versions for developers.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#34402498GitHub System ID
mattam82Organization / User
PublicVisibility
ActiveCatalog Status
More from mattam82
mattam82/Russell
Public repository.
mattam82/coq-opam-archive
Archive for all Coq related OPAM packages organized in various repositories
mattam82/math-comp
Mathematical Components