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
noria-mysql
MySQL/MariaDB protocol shim for Noria
Rust
67
15
5
Updated 2 months ago
public
go-journal
Verified, concurrent, crash-safe transaction system
Go
50
4
3
Updated 12 days ago
public
mcqc
A Gallina compiler with C++17 as an intermediate representation
Haskell
41
6
7
Updated 21 days ago
public
go-nfsd
Fast NFS server implemented using GoJournal
Go
41
4
1
Updated 4 days ago
public
ward
C++
30
5
30
Updated 4 months ago
public
daisy-nfsd
DaisyNFS is an NFS server verified using Dafny and Perennial.
Dafny
28
4
0
Updated 3 months ago
public
sigmaos
Go
23
8
2
Updated 12 hours ago
public
secfs-skeleton
Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
Python
21
11
0
Updated 11 days ago
public
scalefs
C
21
7
2
Updated 2 years ago
public
dsrg
Distributed Systems Reading Group
CSS
20
1
0
Updated a year ago
public
vmvcc
Go
16
1
0
Updated 24 days ago
public
perflock
RWMutex for sharing of multicore machines.
C
16
1
0
Updated 2 months ago