{"payload":{"pageCount":2,"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":140,"forksCount":33,"license":"MIT License","participation":[14,12,16,29,52,7,6,4,1,2,5,0,6,3,8,3,1,6,1,0,0,0,2,0,0,7,3,6,4,2,3,3,4,15,6,6,6,4,12,24,4,29,32,22,35,23,38,20,70,56,33,30],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-07T14:42:44.112Z"}},{"type":"Public","name":"gokv","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":2,"license":null,"participation":[4,3,7,12,9,3,3,0,0,3,1,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,1,0,3,0,2,1,3,5,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-06T06:08:31.086Z"}},{"type":"Public","name":"xv6-riscv-book","owner":"mit-pdos","isFork":false,"description":"Text describing xv6 on RISC-V","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":4,"issueCount":6,"starsCount":628,"forksCount":132,"license":"Other","participation":[0,0,0,1,1,1,0,1,0,0,0,0,0,0,0,0,1,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,1,0,0,9],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-01T16:49:23.265Z"}},{"type":"Public","name":"xv6-riscv","owner":"mit-pdos","isFork":false,"description":"Xv6 for RISC-V","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":29,"issueCount":39,"starsCount":6718,"forksCount":2421,"license":"Other","participation":[0,0,0,0,0,0,1,0,0,2,0,0,0,0,0,0,0,0,0,0,3,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,1,0,7,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-31T17:55:23.232Z"}},{"type":"Public","name":"pav","owner":"mit-pdos","isFork":false,"description":"Key transparency!","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[8,2,2,0,0,0,0,1,1,0,1,0,0,0,2,2,2,1,1,0,0,0,3,7,4,1,8,6,2,1,7,11,9,1,1,1,10,2,28,0,0,0,6,32,16,24,9,11,8,10,10,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-29T08:18:20.403Z"}},{"type":"Public","name":"vmvcc","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":1,"license":"MIT License","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,12,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-20T19:01:53.471Z"}},{"type":"Public","name":"go-nfsd","owner":"mit-pdos","isFork":false,"description":"Fast NFS server implemented using GoJournal","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":1,"starsCount":40,"forksCount":4,"license":"MIT License","participation":[0,0,0,4,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,5,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-20T16:16:50.491Z"}},{"type":"Public","name":"go-journal","owner":"mit-pdos","isFork":false,"description":"Verified, concurrent, crash-safe transaction system","allTopics":["verification"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":2,"issueCount":1,"starsCount":48,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-20T16:15:28.326Z"}},{"type":"Public","name":"perennial-examples","owner":"mit-pdos","isFork":false,"description":"Examples verified using Perennial","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","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,4,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-20T16:14:36.968Z"}},{"type":"Public","name":"xv6-public","owner":"mit-pdos","isFork":false,"description":"xv6 OS","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":41,"issueCount":1,"starsCount":7663,"forksCount":3802,"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":"2024-05-25T10:25:30.199Z"}},{"type":"Public","name":"6.566-lab-2024","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"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,2,0,0,1,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":"2024-05-02T17:49:51.066Z"}},{"type":"Public","name":"6.828-qemu","owner":"mit-pdos","isFork":false,"description":"qemu patched for debugging, used for 6.828","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":2,"starsCount":78,"forksCount":56,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-10T14:56:52.352Z"}},{"type":"Public","name":"6.1600-notes","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":3,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-06T15:48:58.173Z"}},{"type":"Public","name":"sigmaos","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":1,"starsCount":25,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-18T18:17:48.216Z"}},{"type":"Public","name":"daisy-nfsd","owner":"mit-pdos","isFork":false,"description":"DaisyNFS is an NFS server verified using Dafny and Perennial.","allTopics":["verification","dafny"],"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":0,"issueCount":0,"starsCount":28,"forksCount":4,"license":"MIT License","participation":[0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,29,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":"2024-01-12T16:23:54.352Z"}},{"type":"Public","name":"6.1600-labs","owner":"mit-pdos","isFork":false,"description":"Student lab assignments for MIT 6.1600","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":14,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-06T18:10:16.322Z"}},{"type":"Public","name":"DeathStarBench","owner":"mit-pdos","isFork":true,"description":"Open-source benchmark suite for cloud microservices","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":396,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-30T18:25:07.565Z"}},{"type":"Public","name":"grove","owner":"mit-pdos","isFork":false,"description":"Experiments in verifying distributed systems with Iris","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,1,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":"2023-10-24T08:38:31.166Z"}},{"type":"Public","name":"grove-artifact","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-11T17:12:36.291Z"}},{"type":"Public","name":"go-ycsb","owner":"mit-pdos","isFork":false,"description":"Fork of <a href=\"https://github.com/pingcap/go-ycsb/\">https://github.com/pingcap/go-ycsb/</a> with support for benchmarking GroveKV.","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-25T14:32:30.872Z"}},{"type":"Public","name":"zero","owner":"mit-pdos","isFork":false,"description":"PDOS keybase bot","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"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":"2023-07-19T23:20:08.148Z"}},{"type":"Public","name":"6.5660-lab-2023","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":7,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-23T15:43:37.943Z"}},{"type":"Public","name":"go-geoindex","owner":"mit-pdos","isFork":true,"description":"Go native library for fast point tracking and K-Nearest queries","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":49,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-16T11:49:37.911Z"}},{"type":"Public","name":"biscuit","owner":"mit-pdos","isFork":false,"description":"Biscuit research OS","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":5,"starsCount":2437,"forksCount":179,"license":"BSD 3-Clause \"New\" or \"Revised\" License","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":"2022-10-28T14:51:16.369Z"}},{"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":234,"forksCount":20,"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":"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":[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":"2022-06-29T20:41:38.112Z"}},{"type":"Public","name":"secfs-skeleton","owner":"mit-pdos","isFork":false,"description":"Skeleton code for new 6.858 final project --- an encrypted and authenticated file system","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":11,"license":"MIT License","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":"2022-04-20T18:31:18.452Z"}},{"type":"Public","name":"spectrebench","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-06T21:53:36.168Z"}},{"type":"Public","name":"ward","owner":"mit-pdos","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":30,"starsCount":30,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-12T21:29:10.302Z"}},{"type":"Public","name":"6.S060-labs","owner":"mit-pdos","isFork":false,"description":"Programming labs for 6.S060 (Foundations of Computer Security).","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":12,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-19T21:00:32.865Z"}}],"repositoryCount":53,"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"}