pcc/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Public GitHub Catalog
Discovered Sep 25, 2026
pcc / mono
Mono open source ECMA CLI, C# and .NET implementation.
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.
#3760463GitHub System ID
pccOrganization / User
PublicVisibility
ActiveCatalog Status
More from pcc
pcc/klee
KLEE Symbolic Virtual Machine
pcc/llgo
LLVM-based compiler for Go
pcc/gollvm
LLVM bindings for the Go programming language