mattam82/Russell
Public repository.
Public GitHub Catalog
Discovered Oct 14, 2026
mattam82 / metacoq
Reflection library for Coq
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.
#37605954GitHub 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