{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"perennial","owner":"mit-pdos","isFork":false,"description":"Verifying concurrent crash-safe systems","topicNames":["verification","coq","concurrency"],"topicsNotShown":0,"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":6,"starsCount":131,"forksCount":32,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T07:04:53.017Z"}},{"type":"Public","name":"fscq","owner":"mit-pdos","isFork":false,"description":"FSCQ is a certified file system written and proven in Coq","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":5,"starsCount":232,"forksCount":20,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-21T14:37:45.433Z"}},{"type":"Public","name":"argosy","owner":"mit-pdos","isFork":false,"description":"Proving crash safety for systems with layered recovery","topicNames":["coq","recovery","verification"],"topicsNotShown":0,"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-29T20:41:38.112Z"}},{"type":"Public","name":"6.826-2020-labs","owner":"mit-pdos","isFork":false,"description":"Lab assignments for 6.826","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-20T18:30:47.610Z"}},{"type":"Public","name":"cspec","owner":"mit-pdos","isFork":false,"description":"Verifying concurrent code with layers and movers","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-18T01:30:02.776Z"}},{"type":"Public","name":"6.826-2019-labs","owner":"mit-pdos","isFork":false,"description":"Lab assignments for 6.826","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-08T19:55:02.065Z"}},{"type":"Public","name":"6.826-2017-labs","owner":"mit-pdos","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-09T19:50:45.663Z"}},{"type":"Public","name":"deepspec-pocs","owner":"mit-pdos","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-26T15:56:10.941Z"}}],"repositoryCount":8,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}