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 7.4k 2.7k

  2. perennial perennial Public

    Verifying concurrent crash-safe systems

    Coq 166 37

  3. noria noria Public

    Fast web applications through dynamic, partially-stateful dataflow

    Rust 5k 242

  4. biscuit biscuit Public

    Biscuit research OS

    Go 2.5k 181

  5. sigmaos sigmaos Public

    Go 123 12

  6. fscq fscq Public

    FSCQ is a certified file system written and proven in Coq

    Coq 237 21

Repositories

Showing 10 of 53 repositories
  • perennial Public

    Verifying concurrent crash-safe systems

    mit-pdos/perennial’s past year of commit activity
    Coq 166 MIT 37 8 0 Updated Dec 24, 2024
  • pav Public
    mit-pdos/pav’s past year of commit activity
    Go 0 0 0 0 Updated Dec 23, 2024
  • gokv Public
    mit-pdos/gokv’s past year of commit activity
    Go 13 3 0 1 Updated Dec 20, 2024
  • sigmaos Public
    mit-pdos/sigmaos’s past year of commit activity
    Go 123 MIT 12 1 1 Updated Dec 10, 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 16 0 0 Updated Nov 5, 2024
  • 6.1600-notes Public
    mit-pdos/6.1600-notes’s past year of commit activity
    TeX 4 1 0 3 Updated Oct 29, 2024
  • DeathStarBench Public Forked from delimitrou/DeathStarBench

    Open-source benchmark suite for cloud microservices

    mit-pdos/DeathStarBench’s past year of commit activity
    C 2 Apache-2.0 425 0 0 Updated Oct 28, 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 34 MIT 4 0 0 Updated Oct 16, 2024
  • argosy Public

    Proving crash safety for systems with layered recovery

    mit-pdos/argosy’s past year of commit activity
    Coq 11 MIT 7 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,358 2,705 50 49 Updated Sep 6, 2024
View all repositories

Most used topics

Loading…