{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"xv6-public","owner":"mit-pdos","isFork":false,"description":"xv6 OS","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":40,"issueCount":1,"starsCount":7419,"forksCount":3752,"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-13T22:00:18.382Z"}},{"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":[0,9,14,17,23,8,12,10,2,2,4,5,15,7,11,23,67,3,11,3,2,0,7,0,0,7,9,4,0,7,1,0,0,0,2,0,0,3,5,8,2,3,3,3,4,11,11,4,4,8,1,34],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T13:04:35.017Z"}},{"type":"Public","name":"xv6-riscv-book","owner":"mit-pdos","isFork":false,"description":"Text describing xv6 on RISC-V","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":8,"issueCount":8,"starsCount":558,"forksCount":121,"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-13T03:37:14.611Z"}},{"type":"Public","name":"6.566-lab-2024","owner":"mit-pdos","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"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,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T17:49:51.066Z"}},{"type":"Public","name":"xv6-riscv","owner":"mit-pdos","isFork":false,"description":"Xv6 for RISC-V","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":44,"issueCount":41,"starsCount":6232,"forksCount":2248,"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-04-23T00:57:19.700Z"}},{"type":"Public","name":"6.828-qemu","owner":"mit-pdos","isFork":false,"description":"qemu patched for debugging, used for 6.828","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":2,"issueCount":2,"starsCount":77,"forksCount":58,"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-03-10T14:56:52.352Z"}},{"type":"Public","name":"6.1600-notes","owner":"mit-pdos","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":3,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,7,11,4,2,0,0,0,8,2,1,6,6,2,1,0,2,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-06T15:48:58.173Z"}},{"type":"Public","name":"sigmaos","owner":"mit-pdos","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":1,"starsCount":24,"forksCount":6,"license":"Other","participation":[17,38,60,21,82,48,130,78,49,64,74,58,78,8,58,62,55,70,131,22,68,37,54,69,114,70,69,19,89,64,117,43,23,37,60,29,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"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.","topicNames":["verification","dafny"],"topicsNotShown":0,"primaryLanguage":{"name":"Dafny","color":"#FFEC25"},"pullRequestCount":0,"issueCount":0,"starsCount":27,"forksCount":4,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,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],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-12T16:23:54.352Z"}},{"type":"Public","name":"go-journal","owner":"mit-pdos","isFork":false,"description":"Verified, concurrent, crash-safe transaction system","topicNames":["verification"],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":43,"forksCount":4,"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,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-12T05:32:04.661Z"}},{"type":"Public","name":"6.1600-labs","owner":"mit-pdos","isFork":false,"description":"Student lab assignments for MIT 6.1600","topicNames":[],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":381,"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","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-24T08:38:31.166Z"}},{"type":"Public","name":"gokv","owner":"mit-pdos","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":2,"license":null,"participation":[0,9,8,10,2,9,0,0,2,0,16,0,5,0,4,13,14,0,6,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],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-19T22:39:37.228Z"}},{"type":"Public","name":"go-nfsd","owner":"mit-pdos","isFork":false,"description":"Fast NFS server implemented using GoJournal","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":38,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-30T14:40:46.491Z"}},{"type":"Public","name":"grove-artifact","owner":"mit-pdos","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,7,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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-08-11T17:12:36.291Z"}},{"type":"Public","name":"vmvcc","owner":"mit-pdos","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-03T15:19:15.471Z"}},{"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.","topicNames":[],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-19T23:20:08.148Z"}},{"type":"Public","name":"6.5660-lab-2023","owner":"mit-pdos","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"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","topicNames":[],"topicsNotShown":0,"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","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":5,"starsCount":2410,"forksCount":177,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"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","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":"secfs-skeleton","owner":"mit-pdos","isFork":false,"description":"Skeleton code for new 6.858 final project --- an encrypted and authenticated file system","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":10,"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":"","topicNames":[],"topicsNotShown":0,"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":"","topicNames":[],"topicsNotShown":0,"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":"perennial-examples","owner":"mit-pdos","isFork":false,"description":"Examples verified using Perennial","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-08T01:22:12.968Z"}},{"type":"Public","name":"6.S060-labs","owner":"mit-pdos","isFork":false,"description":"Programming labs for 6.S060 (Foundations of Computer Security).","topicNames":[],"topicsNotShown":0,"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"}},{"type":"Public","name":"noria","owner":"mit-pdos","isFork":false,"description":"Fast web applications through dynamic, partially-stateful dataflow","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":4,"issueCount":43,"starsCount":4929,"forksCount":237,"license":"Apache License 2.0","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":"2021-10-30T01:24:05.837Z"}}],"repositoryCount":51,"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"}