{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"KeYmaeraX-release","owner":"HRL-AA-ExACT","isFork":true,"description":"KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":37,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-22T19:17:58.392Z"}},{"type":"Public","name":"AirSim","owner":"HRL-AA-ExACT","isFork":true,"description":"Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4541,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-08-21T10:41:09.178Z"}}],"repositoryCount":2,"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":"HRL-AA-ExACT repositories"}