kyledewey/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Public GitHub Catalog
Discovered Sep 26, 2026
kyledewey / bibtex-markdown
A terrible little hack to integrate BibTeX into markdown in a way that is independent of the markdown parser.
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.
#8037357GitHub System ID
kyledeweyOrganization / User
PublicVisibility
ActiveCatalog Status
More from kyledewey
kyledewey/z3
The Z3 Theorem Prover
kyledewey/ErrorSentinel
Code from my master's thesis
kyledewey/alive
Alive: Automatic LLVM's Instcombine Verifier