ptroja/Stage
Mobile robot simulator
Subsumption robot control architecture workbench
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Mobile robot simulator
Ada/SPARK formal numerics package
Robot navigation algorithms implemented in SPARK
Basic OpenCV-based components