{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"GoTube","owner":"DatenVorsprung","isFork":false,"description":"Scalable stochastic verification of continuous-depth models","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":12,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-20T11:03:52.661Z"}},{"type":"Public","name":"gama-gym","owner":"DatenVorsprung","isFork":false,"description":"Repository dedicated to the development of a bridge between Gama and OpenAI's gym API","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-28T11:36:57.915Z"}},{"type":"Public","name":"LRTNG","owner":"DatenVorsprung","isFork":false,"description":"Lagrangian Reachtubes: The Next Generation","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-14T00:44:52.675Z"}}],"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}