{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Drona","owner":"Drona-Org","isFork":false,"description":"Drona is a programming framework for building safe robotics systems","allTopics":["programming-language","robotics","drones","safe","p","px4-firmware"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":29,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-29T19:58:14.238Z"}},{"type":"Public","name":"SOTERonROS","owner":"Drona-Org","isFork":false,"description":"SOTER on ROS is a run-time assurance framework for building safe distributed mobile robotic (DMR) systems on top of the Robot Operating System (ROS). ","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-23T22:41:30.648Z"}},{"type":"Public","name":"Q","owner":"Drona-Org","isFork":true,"description":"The Q programming language.","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":175,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-13T00:33:49.534Z"}},{"type":"Public","name":"Drona-DMR","owner":"Drona-Org","isFork":false,"description":"Drona framework used for build distributed robotics systems","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-05-04T20:59:33.864Z"}},{"type":"Public","name":"Drona-DMR-Experiments","owner":"Drona-Org","isFork":false,"description":"Experiments using Drona tool","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-03T18:22:35.017Z"}},{"type":"Public","name":"ComplanV2","owner":"Drona-Org","isFork":false,"description":"Complan is a prototype tool for compositional multi-robot motion planning for complex specification. ","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-05T06:29:23.436Z"}}],"repositoryCount":6,"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":"Drona-Org repositories"}