{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"idds","owner":"netkat-lang","isFork":false,"description":"Identity suppressed decision diagrams (IDDs)","allTopics":["data-structures","binary-decision-diagrams","symbolic-manipulation","bdds"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-26T04:19:08.211Z"}},{"type":"Public","name":"netkat","owner":"netkat-lang","isFork":false,"description":"The NetKAT Framework","allTopics":["compiler","verification","sdn","network-analysis","network-programming"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-19T23:48:16.462Z"}}],"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":"netkat-lang repositories"}