ahorn/MpiDepAnalysis
LLVM analysis to find control dependencies on MPI calls
Public GitHub Catalog
Discovered Sep 24, 2026
ahorn / google-codejam
some of my codejam solutions
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.
#1718053GitHub System ID
ahornOrganization / User
PublicVisibility
ActiveCatalog Status
More from ahorn
ahorn/cpp-channel
Experimental Go-style concurrency for C++11
ahorn/sup-smt-plugin
SMT plugin to find the supremum of a multiset
ahorn/smt-kit
C++11 library for many-sorted logics