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 10.3k 4.2k

  2. perennial perennial Public

    Verifying concurrent storage and distributed systems

    Rocq Prover 242 52

  3. noria noria Public

    Fast web applications through dynamic, partially-stateful dataflow

    Rust 5.2k 250

  4. biscuit biscuit Public

    Biscuit research OS

    Go 2.6k 188

  5. sigmaos sigmaos Public

    Go 164 22

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

    Text describing xv6 on RISC-V

    TeX 951 212

Repositories

Showing 10 of 61 repositories
  • xv6iris Public
    mit-pdos/xv6iris's past year of commit activity
    Rocq Prover 10 1 0 0 Updated Sep 10, 2026
  • 6.1600-notes Public
    mit-pdos/6.1600-notes's past year of commit activity
    TeX 9 3 0 3 Updated Sep 9, 2026
  • xv6-riscv-book Public

    Text describing xv6 on RISC-V

    mit-pdos/xv6-riscv-book's past year of commit activity
    TeX 951 212 4 2 Updated Sep 9, 2026
  • 6.1600-labs Public

    Student lab assignments for MIT 6.1600

    mit-pdos/6.1600-labs's past year of commit activity
    Python 13 18 0 0 Updated Sep 9, 2026
  • xv6-riscv Public

    Xv6 for RISC-V

    mit-pdos/xv6-riscv's past year of commit activity
    C 10,342 4,225 0 2 Updated Sep 9, 2026
  • perennial Public

    Verifying concurrent storage and distributed systems

    mit-pdos/perennial's past year of commit activity
    Rocq Prover 242 MIT 52 18 5 Updated Sep 5, 2026
  • security-book Public Forked from mit-pdos/6.1600-notes
    mit-pdos/security-book's past year of commit activity
    TeX 1 3 0 0 Updated Sep 3, 2026
  • sigmaos Public
    mit-pdos/sigmaos's past year of commit activity
    Go 164 MIT 22 2 5 Updated Aug 10, 2026
  • xv6-book Public

    Commentary for xv6-public

    mit-pdos/xv6-book's past year of commit activity
    Perl 275 67 8 13 Updated Aug 6, 2026
  • perennial-cli Public

    Tool to manage perennial verification projects

    mit-pdos/perennial-cli's past year of commit activity
    Go 4 MIT 2 0 4 Updated Jul 20, 2026
View all repositories

Most used topics

Loading…