{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"saida","owner":"rse-verification","isFork":false,"description":"ACSL contract verification","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T09:22:11.483Z"}},{"type":"Public","name":"tricera","owner":"rse-verification","isFork":true,"description":"TriCera: a model checker for C programs","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":13,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T11:26:28.340Z"}},{"type":"Public","name":"contract-compositionality","owner":"rse-verification","isFork":false,"description":"HOL4 formalization of a theory of specifications, components, contracts, and compositionality","allTopics":["contracts","hol4"],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-27T10:20:26.915Z"}}],"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":"Repositories"}