Skip to content
@mit-pdos

MIT PDOS

Parallel and Distributed Operating Systems group at MIT CSAIL

Pinned Loading

  1. xv6-riscv Public

    Xv6 for RISC-V

    C 7.7k 2.8k

  2. perennial Public

    Verifying concurrent crash-safe systems

    Coq 173 38

  3. noria Public

    Fast web applications through dynamic, partially-stateful dataflow

    Rust 5.1k 244

  4. biscuit Public

    Biscuit research OS

    Go 2.5k 178

  5. sigmaos Public

    Go 129 13

  6. fscq Public

    FSCQ is a certified file system written and proven in Coq

    Coq 238 21

Repositories

Showing 10 of 53 repositories
  • pav Public
    Go 0 0 0 0 Updated Mar 8, 2025
  • sigmaos Public
    Go 129 MIT 13 1 1 Updated Mar 8, 2025
  • perennial Public

    Verifying concurrent crash-safe systems

    Coq 173 MIT 38 8 1 Updated Mar 8, 2025
  • gokv Public
    Go 13 4 0 0 Updated Jan 29, 2025
  • 6.1600-notes Public
    TeX 5 1 0 3 Updated Jan 5, 2025
  • 6.1600-labs Public

    Student lab assignments for MIT 6.1600

    Python 8 18 0 0 Updated Nov 5, 2024
  • DeathStarBench Public Forked from delimitrou/DeathStarBench

    Open-source benchmark suite for cloud microservices

    C 2 Apache-2.0 430 0 0 Updated Oct 28, 2024
  • daisy-nfsd Public

    DaisyNFS is an NFS server verified using Dafny and Perennial.

    Dafny 35 MIT 5 0 0 Updated Oct 16, 2024
  • argosy Public

    Proving crash safety for systems with layered recovery

    Coq 11 MIT 7 0 0 Updated Sep 17, 2024
  • xv6-riscv Public

    Xv6 for RISC-V

    C 7,693 2,847 60 51 Updated Sep 6, 2024
View all repositories

Top languages

Loading…

Most used topics

verification coq