GitHub / HAROS-framework 1 Repository
The High-Assurance ROS Framework
HAROS-framework/stratis
Graphical User Interface to debug ROS systems
Language: Vue - Size: 394 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
HAROS-framework/hpl-rv-ros
Tools to enable Runtime Verification in ROS using HPL properties
Language: Python - Size: 64.5 KB - Last synced at: 2 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0
HAROS-framework/haros-design-docs
Design documents and notes for HAROS
Size: 419 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
HAROS-framework/haros
The High-Assurance ROS framework
Language: Python - Size: 724 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0