{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"HySynth","owner":"HySynth","isFork":false,"description":"Synthesis of hybrid automata from data","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-23T20:00:25.633Z"}},{"type":"Public","name":"HySynth-HSCC-2021","owner":"HySynth","isFork":false,"description":"Artifact of HySynth for HSCC 2021","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-27T06:21:07.245Z"}},{"type":"Public","name":"HySynthParametric","owner":"HySynth","isFork":false,"description":"Synthesis of parametric hybrid automata from data","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-27T06:15:09.465Z"}}],"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":"HySynth repositories"}