GitHub repository: HAROS-framework/haros
Primary language: Python
Description: The High-Assurance ROS framework