Dune-jr/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Public GitHub Catalog
Discovered Sep 24, 2026
Dune-jr / teeworlds
A retro multiplayer shooter
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.
#1714703GitHub System ID
Dune-jrOrganization / User
PublicVisibility
ActiveCatalog Status