{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"perennial","owner":"mit-pdos","isFork":false,"description":"Verifying concurrent crash-safe systems","allTopics":["verification","coq","concurrency"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":8,"starsCount":136,"forksCount":33,"license":"MIT License","participation":[2,7,15,6,11,23,60,11,11,3,2,0,7,0,0,7,8,5,0,7,1,0,0,0,2,0,0,3,5,8,2,3,3,3,4,11,11,4,4,8,1,34,2,30,33,18,22,35,38,16,43,59],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-21T13:54:02.085Z"}},{"type":"Public","name":"fscq","owner":"mit-pdos","isFork":false,"description":"FSCQ is a certified file system written and proven in Coq","allTopics":[],"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","allTopics":["coq","recovery","verification"],"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","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":9,"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","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":1,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"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","allTopics":[],"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":"","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":1,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-09T19:50:45.663Z"}},{"type":"Public","name":"deepspec-pocs","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"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":"template","text":"Templates"}],"compactMode":false},"title":"mit-pdos repositories"}