m
mit-pdos
Parallel and Distributed Operating Systems group at MIT CSAIL
53 repositories
1026 followers
Cambridge, MA
Repositories
Select a repository to view its commits, contributors, and more.public
xv6-public
xv6 OS
C
7765
3856
42
Updated 16 hours ago
public
xv6-riscv
Xv6 for RISC-V
C
6916
2554
75
Updated 6 hours ago
public
noria
Fast web applications through dynamic, partially-stateful dataflow
Rust
4985
242
47
Updated 2 days ago
public
biscuit
Biscuit research OS
Go
2453
181
6
Updated a day ago
public
xv6-riscv-book
Text describing xv6 on RISC-V
TeX
653
135
10
Updated 2 days ago
public
RVirt
RISC-V hypervisor written in Rust
Rust
344
32
1
Updated 8 days ago
public
xv6-book
Commentary for xv6-public
Perl
244
66
21
Updated 10 days ago
public
fscq
FSCQ is a certified file system written and proven in Coq
Coq
234
20
5
Updated a month ago
public
xv6-riscv-fall19
6.S081/6.828 lab repo for fall 2019
C
199
336
8
Updated 2 days ago
public
perennial
Verifying concurrent crash-safe systems
Coq
144
33
8
Updated 9 hours ago
public
6.828-qemu
qemu patched for debugging, used for 6.828
C
77
57
3
Updated 14 days ago
public
noria-ui
Web UI for Noria clusters
JavaScript
67
15
0
Updated a year ago