mattam82/metacoq
Reflection library for Coq
Public GitHub Catalog
Discovered Oct 7, 2026
mattam82 / coq-opam-archive
Archive for all Coq related OPAM packages organized in various repositories
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.
#35605665GitHub System ID
mattam82Organization / User
PublicVisibility
ActiveCatalog Status
More from mattam82
mattam82/Russell
Public repository.
mattam82/repo-coqs
The repository for Coq versions for developers.
mattam82/math-comp
Mathematical Components