pcc/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Public GitHub Catalog
Discovered Sep 29, 2026
pcc / llgo
LLVM-based compiler for Go
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#15893045GitHub System ID
pccOrganization / User
PublicVisibility
ActiveCatalog Status
More from pcc
pcc/klee
KLEE Symbolic Virtual Machine
pcc/gollvm
LLVM bindings for the Go programming language
pcc/mosh
Mobile Shell