{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"webHydLa","owner":"HydLa","isFork":false,"description":"a web interface of HydLa","allTopics":["modeling-language","hybrid-systems","hydla"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":20,"starsCount":7,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-16T11:00:44.447Z"}},{"type":"Public","name":"HyLaGI","owner":"HydLa","isFork":false,"description":"HydLa Guaranteed Implementation","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":9,"starsCount":5,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-26T09:14:33.591Z"}},{"type":"Public","name":"Coq-Impl-of-Denotational-Semantics","owner":"HydLa","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-11T05:59:43.941Z"}},{"type":"Public","name":"utility","owner":"HydLa","isFork":false,"description":"additional tools for enhancing the HydLa software","allTopics":[],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-11T17:05:49.822Z"}}],"repositoryCount":4,"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":"HydLa repositories"}