{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"matching-logic-mm0","owner":"Formal-Systems-Laboratory","isFork":false,"description":"Formalisation of Matching Logic in Metamath 0","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":6,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-13T02:59:52.278Z"}},{"type":"Public","name":"fsl.cs.illinois.edu","owner":"Formal-Systems-Laboratory","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-10T15:09:52.059Z"}},{"type":"Public","name":"www.matching-logic.org","owner":"Formal-Systems-Laboratory","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T15:55:52.804Z"}},{"type":"Public","name":"ROSRV","owner":"Formal-Systems-Laboratory","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":4,"issueCount":1,"starsCount":14,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-26T19:24:53.540Z"}},{"type":"Public","name":"rosmop","owner":"Formal-Systems-Laboratory","isFork":false,"description":"Monitor Oriented Programming for ROS","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":0,"starsCount":3,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-26T19:17:55.781Z"}},{"type":"Public","name":"hybrid-programs-semantics","owner":"Formal-Systems-Laboratory","isFork":false,"description":"Semantics of Hybrid Programs (Differential Dynamic Logic) in K","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-25T23:20:49.044Z"}},{"type":"Public","name":"coinduction","owner":"Formal-Systems-Laboratory","isFork":false,"description":"language-independent program verification by coinduction","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-05T23:39:05.621Z"}},{"type":"Public","name":"javamop-linked-lists","owner":"Formal-Systems-Laboratory","isFork":false,"description":"Simple Linked Lists","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-06T21:12:13.232Z"}},{"type":"Public","name":"rvm-parser","owner":"Formal-Systems-Laboratory","isFork":false,"description":"Parsing RVM and MOP specifications using K framework","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-12T08:15:11.005Z"}},{"type":"Public","name":"replaymop","owner":"Formal-Systems-Laboratory","isFork":true,"description":"Deterministic replay of concurrent Java programs using monitoring oriented programming","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-02T00:19:09.227Z"}}],"repositoryCount":10,"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":"Formal-Systems-Laboratory repositories"}