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
what
An improved version of `w`
Python
13
1
0
Updated 5 months ago
public
6.826-2017-labs
Coq
13
1
0
Updated 2 years ago
public
6.826-2020-labs
Lab assignments for 6.826
Coq
13
9
0
Updated 24 days ago
public
6.S060-labs
Programming labs for 6.S060 (Foundations of Computer Security).
Python
12
5
1
Updated 6 months ago
public
cspec
Verifying concurrent code with layers and movers
Coq
12
1
0
Updated 16 days ago
public
argosy
Proving crash safety for systems with layered recovery
Coq
11
6
0
Updated 3 days ago
public
6.826-2019-labs
Lab assignments for 6.826
Coq
10
2
0
Updated 2 years ago
public
gokv
Go
10
2
0
Updated 24 days ago
public
syndicate
Syndicate multiplexes several distributed master-slave applications onto a single cluster of machines.
Go
9
1
0
Updated 5 years ago
public
mailbot
Bot to send email notifications when pushing to GitHub
Shell
7
4
0
Updated 8 months ago
public
deepspec-pocs
Coq
6
1
0
Updated 4 years ago
public
6.1600-labs
Student lab assignments for MIT 6.1600
Python
6
16
0
Updated 3 days ago