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