Skip to content

@mit-pdos MIT PDOS

Change the repository type filter

All

    Repositories list

    53 repositories

    • perennial

      Public
      Verifying concurrent crash-safe systems
      verificationcoqconcurrency
      Coq
      •
      MIT License
      •33•148•8•0•Updated Oct 5, 2024Oct 5, 2024

    • pav

      Public
      Go
      •0•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • gokv

      Public
      Go
      •2•11•0•0•Updated Oct 2, 2024Oct 2, 2024

    • sigmaos

      Public
      Go
      •
      MIT License
      •11•90•1•1•Updated Sep 29, 2024Sep 29, 2024

    • 6.1600-notes

      Public
      TeX
      •1•3•0•3•Updated Sep 28, 2024Sep 28, 2024

    • 6.1600-labs

      Public
      Student lab assignments for MIT 6.1600
      Python
      •17•6•0•0•Updated Sep 26, 2024Sep 26, 2024

    • argosy

      Public
      Proving crash safety for systems with layered recovery
      coqrecoveryverification
      Coq
      •
      MIT License
      •6•11•0•0•Updated Sep 17, 2024Sep 17, 2024

    • xv6-riscv

      Public
      Xv6 for RISC-V
      C
      •
      Other
      •2.6k•7k•45•36•Updated Sep 6, 2024Sep 6, 2024

    • xv6-riscv-book

      Public
      Text describing xv6 on RISC-V
      TeX
      •
      Other
      •136•657•6•5•Updated Aug 31, 2024Aug 31, 2024

    • DeathStarBench

      Public
      Open-source benchmark suite for cloud microservices
      C
      •
      Apache License 2.0
      •403•2•0•0•Updated Aug 20, 2024Aug 20, 2024

    • xv6-public

      Public
      xv6 OS
      C
      •
      Other
      •3.9k•7.8k•1•41•Updated Aug 13, 2024Aug 13, 2024

    • vmvcc

      Public
      Go
      •
      MIT License
      •1•16•0•0•Updated Jul 20, 2024Jul 20, 2024

    • go-nfsd

      Public
      Fast NFS server implemented using GoJournal
      Go
      •
      MIT License
      •4•44•1•0•Updated Jul 20, 2024Jul 20, 2024

    • go-journal

      Public
      Verified, concurrent, crash-safe transaction system
      verification
      Go
      •
      MIT License
      •4•51•1•2•Updated Jul 20, 2024Jul 20, 2024

    • perennial-examples

      Public
      Examples verified using Perennial
      Go
      •
      MIT License
      •0•4•0•0•Updated Jul 20, 2024Jul 20, 2024

    • 6.566-lab-2024

      Public
      Python
      •
      Other
      •2•2•0•0•Updated May 2, 2024May 2, 2024

    • 6.828-qemu

      Public
      qemu patched for debugging, used for 6.828
      C
      •
      Other
      •57•77•2•1•Updated Mar 10, 2024Mar 10, 2024

    • daisy-nfsd

      Public
      DaisyNFS is an NFS server verified using Dafny and Perennial.
      verificationdafny
      Dafny
      •
      MIT License
      •4•29•0•0•Updated Jan 12, 2024Jan 12, 2024

    • grove

      Public
      Experiments in verifying distributed systems with Iris
      0•2•0•0•Updated Oct 24, 2023Oct 24, 2023

    • grove-artifact

      Public
      Python
      •1•3•0•0•Updated Aug 11, 2023Aug 11, 2023

    • go-ycsb

      Public
      Fork of https://github.com/pingcap/go-ycsb/ with support for benchmarking GroveKV.
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 25, 2023Jul 25, 2023

    • zero

      Public
      PDOS keybase bot
      JavaScript
      •0•0•0•0•Updated Jul 19, 2023Jul 19, 2023

    • 6.5660-lab-2023

      Public
      Python
      •
      Other
      •7•5•0•0•Updated May 23, 2023May 23, 2023

    • go-geoindex

      Public
      Go native library for fast point tracking and K-Nearest queries
      Go
      •
      MIT License
      •49•0•0•0•Updated Mar 16, 2023Mar 16, 2023

    • biscuit

      Public
      Biscuit research OS
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •182•2.5k•5•1•Updated Oct 28, 2022Oct 28, 2022

    • fscq

      Public
      FSCQ is a certified file system written and proven in Coq
      Coq
      •
      Other
      •21•234•5•0•Updated Oct 21, 2022Oct 21, 2022

    • secfs-skeleton

      Public
      Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
      Python
      •
      MIT License
      •11•21•0•0•Updated Apr 20, 2022Apr 20, 2022

    • spectrebench

      Public
      C++
      •
      Apache License 2.0
      •2•5•0•0•Updated Feb 6, 2022Feb 6, 2022

    • ward

      Public
      C++
      •
      Other
      •5•30•30•0•Updated Dec 12, 2021Dec 12, 2021

    • 6.S060-labs

      Public
      Programming labs for 6.S060 (Foundations of Computer Security).
      Python
      •
      MIT License
      •5•12•1•0•Updated Nov 19, 2021Nov 19, 2021