campino/llvm-2.9
KLEE (http://klee.github.io/klee/) needs LLVM-2.9, but it does not compile, due to a missing include. I added this include.
Public GitHub Catalog
Discovered Sep 25, 2026
campino / php-src
The PHP Interpreter
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.
#3941875GitHub System ID
campinoOrganization / User
PublicVisibility
ActiveCatalog Status
More from campino
campino/cc_backup
cc backup
campino/LTTng_java
This is an jvm agent that generates LTTng events from MethodExit and MethodEntry jvm events.
campino/maven-native
clone of the maven-native project