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 8.7k 3.4k

  2. perennial perennial Public

    Verifying concurrent storage and distributed systems

    Rocq Prover 205 41

  3. noria noria Public

    Fast web applications through dynamic, partially-stateful dataflow

    Rust 5.2k 248

  4. biscuit biscuit Public

    Biscuit research OS

    Go 2.5k 182

  5. sigmaos sigmaos Public

    Go 147 17

  6. fscq fscq Public

    FSCQ is a certified file system written and proven in Coq

    Coq 249 22

Repositories

Showing 10 of 54 repositories
  • perennial Public

    Verifying concurrent storage and distributed systems

    mit-pdos/perennial’s past year of commit activity
    Rocq Prover 205 MIT 41 12 4 Updated Oct 18, 2025
  • sigmaos Public
    mit-pdos/sigmaos’s past year of commit activity
    Go 147 MIT 17 2 2 Updated Oct 17, 2025
  • xv6-riscv Public

    Xv6 for RISC-V

    mit-pdos/xv6-riscv’s past year of commit activity
    C 8,736 3,404 4 17 Updated Oct 16, 2025
  • gokv Public
    mit-pdos/gokv’s past year of commit activity
    Go 16 4 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
  • xv6-riscv-book Public

    Text describing xv6 on RISC-V

    mit-pdos/xv6-riscv-book’s past year of commit activity
    TeX 785 180 13 6 Updated Sep 2, 2025
  • 6.1600-notes Public
    mit-pdos/6.1600-notes’s past year of commit activity
    TeX 7 2 0 3 Updated Jun 23, 2025
  • vmvcc Public
    mit-pdos/vmvcc’s past year of commit activity
    Go 25 MIT 3 0 0 Updated May 8, 2025
  • 6.1600-labs Public

    Student lab assignments for MIT 6.1600

    mit-pdos/6.1600-labs’s past year of commit activity
    Python 11 18 0 0 Updated May 1, 2025
View all repositories

Most used topics

Loading…