roberto2aj/LTSAdapter
Adapts the LTS generated by ProB so that is can be used with JTorX.
Public GitHub Catalog
Discovered Sep 27, 2026
roberto2aj / JUnitGeneratorBETA
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.
#9334115GitHub System ID
roberto2ajOrganization / User
PublicVisibility
ActiveCatalog Status
More from roberto2aj
roberto2aj/JUnitGenerator
Public repository.