qfiard/vdeps
Vagrant box generator for 3rd party dependency management.
Public GitHub Catalog
Discovered Sep 26, 2026
qfiard / CoqCertifiedCompiler
A compiler for a very simple language, certified in 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.
#6855807GitHub System ID
qfiardOrganization / User
PublicVisibility
ActiveCatalog Status
More from qfiard
qfiard/lmdb
Fork of the Lightning Memory-Mapped Database (LMDB)
qfiard/uri
cpp-netlib URI
qfiard/cpp-netlib
The C++ Network Library Project -- cross-platform, standards compliant networking library.