Skip to content
@mit-pdos

MIT PDOS

Parallel and Distributed Operating Systems group at MIT CSAIL

Pinned Loading

  1. xv6-public xv6-public Public

    xv6 OS

    C 7.9k 4k

  2. noria noria Public

    Fast web applications through dynamic, partially-stateful dataflow

    Rust 5k 243

  3. RVirt RVirt Public

    RISC-V hypervisor written in Rust

    Rust 348 34

  4. perennial perennial Public

    Verifying concurrent crash-safe systems

    Coq 163 35

  5. xv6-riscv xv6-riscv Public

    Xv6 for RISC-V

    C 7.2k 2.7k

  6. biscuit biscuit Public

    Biscuit research OS

    Go 2.5k 182

Repositories

Showing 10 of 53 repositories