Skip to content
@mit-pdos

MIT PDOS

Parallel and Distributed Operating Systems group at MIT CSAIL

Pinned Loading

  1. xv6-riscv xv6-riscv Public

    Xv6 for RISC-V

    C 9.2k 3.6k

  2. perennial perennial Public

    Verifying concurrent storage and distributed systems

    Rocq Prover 212 45

  3. noria noria Public

    Fast web applications through dynamic, partially-stateful dataflow

    Rust 5.2k 249

  4. biscuit biscuit Public

    Biscuit research OS

    Go 2.6k 186

  5. sigmaos sigmaos Public

    Go 154 18

  6. xv6-riscv-book xv6-riscv-book Public

    Text describing xv6 on RISC-V

    TeX 830 187

Repositories

Showing 10 of 58 repositories
  • perennial Public

    Verifying concurrent storage and distributed systems

    mit-pdos/perennial’s past year of commit activity
    Rocq Prover 212 MIT 45 15 1 Updated Jan 23, 2026
  • sigmaos Public
    mit-pdos/sigmaos’s past year of commit activity
    Go 154 MIT 18 2 3 Updated Jan 19, 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 Jan 12, 2026
  • xv6-riscv Public

    Xv6 for RISC-V

    mit-pdos/xv6-riscv’s past year of commit activity
    C 9,155 3,631 9 26 Updated Dec 17, 2025
  • gojournal-proof Public

    Verification of GoJournal

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

    Verification of tulip

    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 0 MIT 0 0 0 Updated Dec 7, 2025
  • gokv Public
    mit-pdos/gokv’s past year of commit activity
    Go 17 5 0 0 Updated Sep 22, 2025
  • go-liveness Public
    mit-pdos/go-liveness’s past year of commit activity
    Go 0 0 0 0 Updated Sep 5, 2025
  • tulip Public
    mit-pdos/tulip’s past year of commit activity
    Go 0 MIT 0 0 0 Updated Sep 2, 2025
View all repositories

Most used topics

Loading…