ptroja/BToolkit
The BToolkit, a toolkit supporting software development with the B-method.
Public GitHub Catalog
Discovered Sep 26, 2026
ptroja / DCL_CvBasic
Basic OpenCV-based components
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.
#7256485GitHub 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