thorstent/maven-repo
Holds files needed to build the other repositories with the help of maven.
Public GitHub Catalog
Discovered Sep 30, 2026
thorstent / ConRepair
ConRepair is a synthesis tool to repair concurrent C programs
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.
#19767685GitHub System ID
thorstentOrganization / User
PublicVisibility
ActiveCatalog Status
More from thorstent
thorstent/ConcurrencySwapper
Implementation of a software that fixes C concurrency bugs by swapping lines in the source code.
thorstent/ScalaZ3
Binders and more to the Z3 SMT solver for Scala