Explore @mit-pdos Open Source projects

MIT PDOS (@mit-pdos)

mit-pdos

Stars
24,393
Global Org. Rank 847 (Top 0.3 %)
Registered over 9 years ago
Most used languages

Coq 18.2 %

Go
18.2 %

Python
15.9 %

C
13.6 %

Rust
9.1 %

TeX
4.5 %

C++
4.5 %

Dafny 2.3 %

Perl
2.3 %

CSS
2.3 %

Haskell
2.3 %

Shell
2.3 %

JavaScript
2.3 %

Ruby
2.3 %
Location 🇺🇸 United States
Country Total Rank 420
Country Ranking

Coq 5

Dafny 6

C
21

Rust
48

TeX
50

Perl
82

Go
301

Haskell
411

CSS
2,725

C++
4,985

xv6-public

xv6-riscv

noria

Fast web applications through dynamic, partially-stateful dataflow

biscuit

Biscuit research OS

xv6-riscv-book

Text describing xv6 on RISC-V

RVirt

RISC-V hypervisor written in Rust

xv6-book

Commentary for xv6-public

fscq

FSCQ is a certified file system written and proven in Coq

xv6-riscv-fall19

6.S081/6.828 lab repo for fall 2019

perennial

Verifying concurrent crash-safe systems

sigmaos

6.828-qemu

qemu patched for debugging, used for 6.828

noria-mysql

MySQL/MariaDB protocol shim for Noria

noria-ui

Web UI for Noria clusters

go-journal

Verified, concurrent, crash-safe transaction system

mcqc

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

go-nfsd

Fast NFS server implemented using GoJournal

ward

daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.

scalefs

dsrg

Distributed Systems Reading Group

secfs-skeleton

Skeleton code for new 6.858 final project --- an encrypted and authenticated file system

perflock

RWMutex for sharing of multicore machines.

vmvcc

6.826-2020-labs

Lab assignments for 6.826

what

An improved version of `w`

6.826-2017-labs

6.S060-labs

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

cspec

Verifying concurrent code with layers and movers

argosy

Proving crash safety for systems with layered recovery

6.826-2019-labs

Lab assignments for 6.826

gokv

syndicate

Syndicate multiplexes several distributed master-slave applications onto a single cluster of machines.

mailbot

Bot to send email notifications when pushing to GitHub

deepspec-pocs

6.1600-labs

Student lab assignments for MIT 6.1600

6.5660-lab-2023

spectrebench

perennial-examples

Examples verified using Perennial

grove-artifact

noria-benchmarks

Experiment scripts and results for Soup

6.1600-notes

csail-events-slack

Simple Slack webhook for posting notifications about upcoming CSAIL seminars

grove

Experiments in verifying distributed systems with Iris

6.566-lab-2024

new-students

Welcome for new PDOS students to get access to the organization