Pinned Repositories
biscuit
Biscuit research OS
fscq
FSCQ is a certified file system written and proven in Coq
noria
Fast web applications through dynamic, partially-stateful dataflow
perennial
Verifying concurrent crash-safe systems
RVirt
RISC-V hypervisor written in Rust
xv6-book
Commentary for xv6-public
xv6-public
xv6 OS
xv6-riscv
Xv6 for RISC-V
xv6-riscv-book
Text describing xv6 on RISC-V
xv6-riscv-fall19
6.S081/6.828 lab repo for fall 2019
MIT PDOS's Repositories
mit-pdos/xv6-public
xv6 OS
mit-pdos/xv6-riscv
Xv6 for RISC-V
mit-pdos/noria
Fast web applications through dynamic, partially-stateful dataflow
mit-pdos/biscuit
Biscuit research OS
mit-pdos/xv6-riscv-book
Text describing xv6 on RISC-V
mit-pdos/fscq
FSCQ is a certified file system written and proven in Coq
mit-pdos/perennial
Verifying concurrent crash-safe systems
mit-pdos/6.828-qemu
qemu patched for debugging, used for 6.828
mit-pdos/go-journal
Verified, concurrent, crash-safe transaction system
mit-pdos/go-nfsd
Fast NFS server implemented using GoJournal
mit-pdos/ward
mit-pdos/daisy-nfsd
DaisyNFS is an NFS server verified using Dafny and Perennial.
mit-pdos/sigmaos
mit-pdos/secfs-skeleton
Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
mit-pdos/vmvcc
mit-pdos/6.S060-labs
Programming labs for 6.S060 (Foundations of Computer Security).
mit-pdos/argosy
Proving crash safety for systems with layered recovery
mit-pdos/gokv
mit-pdos/6.1600-labs
Student lab assignments for MIT 6.1600
mit-pdos/zero
PDOS keybase bot
mit-pdos/spectrebench
mit-pdos/6.5660-lab-2023
mit-pdos/6.1600-notes
mit-pdos/grove-artifact
mit-pdos/perennial-examples
Examples verified using Perennial
mit-pdos/6.566-lab-2024
mit-pdos/DeathStarBench
Open-source benchmark suite for cloud microservices
mit-pdos/grove
Experiments in verifying distributed systems with Iris
mit-pdos/go-geoindex
Go native library for fast point tracking and K-Nearest queries
mit-pdos/go-ycsb
Fork of https://github.com/pingcap/go-ycsb/ with support for benchmarking GroveKV.