8000 MIT PDOS · GitHub
[go: up one dir, main page]
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.8k 4.6k

  2. perennial perennial Public

    Verifying concurrent storage and distributed systems

    Lean 258 53

  3. noria noria Public

    Fast web applications through dynamic, partially-stateful dataflow

    Rust 5.2k 251

  4. biscuit biscuit Public

    Biscuit research OS

    Go 2.6k 190

  5. sigmaos sigmaos Public

    Go 166 22

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

    Text describing xv6 on RISC-V

    TeX 1k 216

Repositories

Showing 10 of 64 repositories
  • etcd-grove Public
    mit-pdos/etcd-grove's past year of commit activity
    Lean 2 0 0 0 Updated Nov 11, 2026
  • perennial Public

    Verifying concurrent storage and distributed systems

    mit-pdos/perennial's past year of commit activity
    Lean 258 53 23 9 Updated Nov 11, 2026
  • 6.1600-notes Public
    mit-pdos/6.1600-notes's past year of commit activity
    TeX 8 4 0 3 Updated Nov 11, 2026
  • security-book Public Forked from mit-pdos/6.1600-notes
    mit-pdos/security-book's past year of commit activity
    TeX 3 4 0 0 Updated Nov 11, 2026
  • lantana Public
    mit-pdos/lantana's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Nov 10, 2026
  • xv6iris Public
    mit-pdos/xv6iris's past year of commit activity
    Lean 53 4 0 0 Updated Nov 8, 2026
  • argosy Public

    Proving crash safety for systems with layered recovery

    mit-pdos/argosy's past year of commit activity
    Rocq Prover 16 MIT 8 0 0 Updated Nov 6, 2026
  • xv6-riscv Public

    Xv6 for RISC-V

    mit-pdos/xv6-riscv's past year of commit activity
    C 10,784 4,584 0 2 Updated Nov 5, 2026
  • lantana-rocq Public
    mit-pdos/lantana-rocq's past year of commit activity
    Rocq Prover 1 0 0 0 Updated Oct 26, 2 787A 026
  • 6.1600-labs Public

    Student lab assignments for MIT 6.1600

    mit-pdos/6.1600-labs's past year of commit activity
    Python 14 19 0 0 Updated Oct 13, 2026
View all repositories

Most used topics

Loading…
0