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 26, 2026
campino / maven-native
clone of the maven-native project
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.
#6553576GitHub 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/jenkins
Jenkins Continuous Integration Server