{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"haros","owner":"HAROS-framework","isFork":false,"description":"The High-Assurance ROS framework","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T06:44:40.224Z"}},{"type":"Public","name":"hpl-rv-ros","owner":"HAROS-framework","isFork":false,"description":"Tools to enable Runtime Verification in ROS using HPL properties","allTopics":["monitoring","ros","code-generation","quality-assurance","ros2","runtime-verification"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-04T08:55:56.876Z"}},{"type":"Public","name":"haros-design-docs","owner":"HAROS-framework","isFork":false,"description":"Design documents and notes for HAROS","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-10T15:30:03.904Z"}}],"repositoryCount":3,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"HAROS-framework repositories"}