m
mit-pdos
Parallel and Distributed Operating Systems group at MIT CSAIL
53 repositories
1153 followers
Cambridge, MA
Repositories
Select a repository to view its commits, contributors, and more.public
noria-ui
Web UI for Noria clusters
JavaScript
70
15
0
Updated a month ago
public
noria-mysql
MySQL/MariaDB protocol shim for Noria
Rust
67
15
5
Updated 6 months ago
public
go-journal
Verified, concurrent, crash-safe transaction system
Go
54
4
3
Updated a month ago
public
go-nfsd
Fast NFS server implemented using GoJournal
Go
45
3
1
Updated 18 days ago
public
mcqc
A Gallina compiler with C++17 as an intermediate representation
Haskell
42
6
7
Updated 3 months ago
public
daisy-nfsd
DaisyNFS is an NFS server verified using Dafny and Perennial.
Dafny
35
5
0
Updated 9 days ago
public
ward
C++
31
5
30
Updated 23 days ago
public
secfs-skeleton
Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
Python
23
11
0
Updated 20 days ago
public
scalefs
C
21
6
2
Updated 2 years ago
public
dsrg
Distributed Systems Reading Group
CSS
20
1
0
Updated a year ago
public
perflock
RWMutex for sharing of multicore machines.
C
17
2
0
Updated 23 days ago
public
vmvcc
Go
16
2
0
Updated 5 months ago