MIT PDOS

@mit-pdos

Pinned Loading

Verifying concurrent storage and distributed systems

Rocq Prover 219 49
Fast web applications through dynamic, partially-stateful dataflow

Rust 5.2k 249
Text describing xv6 on RISC-V

TeX 859 191

Showing 10 of 59 repositories

perennial Public
Verifying concurrent storage and distributed systems

mit-pdos/perennial’s past year of commit activity

Rocq Prover
219
MIT
49 16 1
Updated Mar 29, 2026
mit-pdos/sigmaos’s past year of commit activity

Go
155
MIT
18 2 3
Updated Mar 28, 2026
mit-pdos/6.566-lab-2026’s past year of commit activity

Python 0 0
0 0
Updated Mar 20, 2026
perennial-cli Public
Tool to manage perennial verification projects

mit-pdos/perennial-cli’s past year of commit activity

Go
3
MIT
1 0 0
Updated Mar 6, 2026
mit-pdos/gokv’s past year of commit activity

Go
17 5 0 0
Updated Feb 6, 2026
mit-pdos/xv6-riscv’s past year of commit activity
mit-pdos/gojournal-proof’s past year of commit activity

Rocq Prover
2
MIT 0
0 0
Updated Dec 9, 2025
mit-pdos/tulip-proof’s past year of commit activity

Rocq Prover 0 MIT 0
0 0
Updated Dec 8, 2025
grove-proofs Public
Proofs of distributed systems using Grove

mit-pdos/grove-proofs’s past year of commit activity

Rocq Prover
1
MIT 0
0 0
Updated Dec 7, 2025
mit-pdos/go-liveness’s past year of commit activity

Go 0 0
0 0
Updated Sep 5, 2025

Loading…