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.8k 3.9k

  2. noria noria Public

    Fast web applications through dynamic, partially-stateful dataflow

    Rust 5k 244

  3. RVirt RVirt Public

    RISC-V hypervisor written in Rust

    Rust 345 34

  4. perennial perennial Public

    Verifying concurrent crash-safe systems

    Coq 156 33

  5. xv6-riscv xv6-riscv Public

    Xv6 for RISC-V

    C 7.1k 2.6k

  6. biscuit biscuit Public

    Biscuit research OS

    Go 2.5k 183

Repositories

Showing 10 of 53 repositories
  • perennial Public

    Verifying concurrent crash-safe systems

    mit-pdos/perennial’s past year of commit activity
    Coq 156 MIT 33 8 0 Updated Oct 18, 2024
  • pav Public
    mit-pdos/pav’s past year of commit activity
    Go 0 0 0 0 Updated Oct 17, 2024
  • daisy-nfsd Public

    DaisyNFS is an NFS server verified using Dafny and Perennial.

    mit-pdos/daisy-nfsd’s past year of commit activity
    Dafny 30 MIT 4 0 0 Updated Oct 16, 2024
  • sigmaos Public
    mit-pdos/sigmaos’s past year of commit activity
    Go 95 MIT 11 1 1 Updated Oct 12, 2024
  • 6.1600-labs Public

    Student lab assignments for MIT 6.1600

    mit-pdos/6.1600-labs’s past year of commit activity
    Python 6 17 0 0 Updated Oct 11, 2024
  • gokv Public
    mit-pdos/gokv’s past year of commit activity
    Go 12 3 0 0 Updated Oct 8, 2024
  • 6.1600-notes Public
    mit-pdos/6.1600-notes’s past year of commit activity
    TeX 3 1 0 3 Updated Sep 27, 2024
  • argosy Public

    Proving crash safety for systems with layered recovery

    mit-pdos/argosy’s past year of commit activity
    Coq 11 MIT 6 0 0 Updated Sep 17, 2024
  • xv6-riscv Public

    Xv6 for RISC-V

    mit-pdos/xv6-riscv’s past year of commit activity
    C 7,061 2,606 47 40 Updated Sep 6, 2024
  • xv6-riscv-book Public

    Text describing xv6 on RISC-V

    mit-pdos/xv6-riscv-book’s past year of commit activity
    TeX 661 137 6 5 Updated Aug 31, 2024
View all repositories

Most used topics

verification coq