mit-pdos Goto Github PK

6.1600-labs

Student lab assignments for MIT 6.1600

6.1600-notes

6.566-lab-2024

6.5660-lab-2023

6.826-2017-labs

6.826-2019-labs

Lab assignments for 6.826

6.826-2020-labs

Lab assignments for 6.826

6.828-qemu

qemu patched for debugging, used for 6.828

6.s060-labs

Programming labs for 6.S060 (Foundations of Computer Security).

argosy

Proving crash safety for systems with layered recovery

biscuit

Biscuit research OS

csail-events-slack

Simple Slack webhook for posting notifications about upcoming CSAIL seminars

cspec

Verifying concurrent code with layers and movers

daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.

deathstarbench

Open-source benchmark suite for cloud microservices

deepspec-pocs

dsrg

Distributed Systems Reading Group

fscq

FSCQ is a certified file system written and proven in Coq

go-geoindex

Go native library for fast point tracking and K-Nearest queries

go-journal

Verified, concurrent, crash-safe transaction system

go-nfsd

Fast NFS server implemented using GoJournal

go-ycsb

Fork of https://github.com/pingcap/go-ycsb/ with support for benchmarking GroveKV.

gokv

grove

Experiments in verifying distributed systems with Iris

grove-artifact

lockservice

mailbot

Bot to send email notifications when pushing to GitHub

mcqc

A Gallina compiler with C++17 as an intermediate representation

new-students

Welcome for new PDOS students to get access to the organization

noria

Fast web applications through dynamic, partially-stateful dataflow