GaloisInc/RCC
A Race Condition Checker for Java
Public GitHub Catalog
Discovered Oct 2, 2026
GaloisInc / libdl
Public repository discovered through GitHub real-time crawl.
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.
#23843493GitHub System ID
GaloisIncOrganization / User
PublicVisibility
ActiveCatalog Status
More from GaloisInc
GaloisInc/JavaFE
The Java Front End for ESC/Java2 (and other tools)
GaloisInc/GF-Java-API
A Java API to the Grammatical Framework (http://www.grammaticalframework.org/)
GaloisInc/vagrant-ovirt3
Vagrant provider for oVirt and RHEV.