MIT PDOS

icon indicating a website link https://pdos.csail.mit.edu

icon location Cambridge, MA icon location Parallel and Distributed Operating Systems group at MIT CSAIL

Results 23 repositories owned by MIT PDOS

xv6-riscv

5.7k
Stars
2.1k
Forks
61
Watchers

Xv6 for RISC-V

verified publisher icon mit-pdos

6.828-qemu

75
Stars
57
Forks
Watchers

qemu patched for debugging, used for 6.828

verified publisher icon mit-pdos

biscuit

2.4k
Stars
177
Forks
Watchers

Biscuit research OS

verified publisher icon mit-pdos

fscq

231
Stars
20
Forks
Watchers

FSCQ is a certified file system written and proven in Coq

verified publisher icon mit-pdos

go-journal

44
Stars
4
Forks
Watchers

Verified, concurrent, crash-safe transaction system

verified publisher icon mit-pdos

go-nfsd

34
Stars
4
Forks
Watchers

Fast NFS server implemented using GoJournal

verified publisher icon mit-pdos

mcqc

40
Stars
6
Forks
Watchers

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

verified publisher icon mit-pdos

noria

4.9k
Stars
242
Forks
Watchers

Fast web applications through dynamic, partially-stateful dataflow

verified publisher icon mit-pdos

noria-mysql

66
Stars
15
Forks
Watchers

MySQL/MariaDB protocol shim for Noria

verified publisher icon mit-pdos

noria-ui

67
Stars
15
Forks
Watchers

Web UI for Noria clusters

verified publisher icon mit-pdos