ahorn/native-symbolic-execution-clang
Source-to-source transformation to call native symbolic execution library and SMT Kit
Public GitHub Catalog
Discovered Sep 29, 2026
ahorn / cpp-channel
Experimental Go-style concurrency for C++11
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.
#16296989GitHub System ID
ahornOrganization / User
PublicVisibility
ActiveCatalog Status
More from ahorn
ahorn/MpiDepAnalysis
LLVM analysis to find control dependencies on MPI calls
ahorn/sup-smt-plugin
SMT plugin to find the supremum of a multiset
ahorn/smt-kit
C++11 library for many-sorted logics