{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"riscv-semantics","owner":"mit-plv","isFork":false,"description":"A formal semantics of the RISC-V ISA in Haskell","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":11,"starsCount":148,"forksCount":15,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-13T00:03:11.094Z"}},{"type":"Public","name":"certifying-derivation-of-state-machines-from-coroutines","owner":"mit-plv","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-30T06:48:32.328Z"}}],"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":"mit-plv repositories"}