ptroja/BToolkit
The BToolkit, a toolkit supporting software development with the B-method.
Public GitHub Catalog
Discovered Sep 24, 2026
ptroja / specagent
multi-agent specification workbench
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.
#1672744GitHub System ID
ptrojaOrganization / User
PublicVisibility
ActiveCatalog Status
More from ptroja
ptroja/Stage
Mobile robot simulator
ptroja/formal-numerics
Ada/SPARK formal numerics package
ptroja/spark-navigation
Robot navigation algorithms implemented in SPARK