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
6.S060-labs
Programming labs for 6.S060 (Foundations of Computer Security).
Python
13
5
1
Updated 2 months ago
public
what
An improved version of `w`
Python
13
1
0
Updated 9 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 5 months ago
public
gokv
Go
13
3
0
Updated 5 days ago
public
cspec
Verifying concurrent code with layers and movers
Coq
12
1
0
Updated 4 months ago
public
argosy
Proving crash safety for systems with layered recovery
Coq
11
7
0
Updated 4 months ago
public
6.826-2019-labs
Lab assignments for 6.826
Coq
10
2
0
Updated 3 years 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 a year ago
public
6.1600-labs
Student lab assignments for MIT 6.1600
Python
7
17
0
Updated 2 days ago
public
deepspec-pocs
Coq
6
1
0
Updated 5 years ago