mit-pdos/grove mit-pdos/grove

  • Stars
    star
    2
  • Language
  • Created about 4 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mit-pdos/grove
github

mit-pdos

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Experiments in verifying distributed systems with Iris

More Repositories

1

xv6-public

xv6 OS
C
7,710
star
2

xv6-riscv

Xv6 for RISC-V
C
6,787
star
3

noria

Fast web applications through dynamic, partially-stateful dataflow
Rust
4,980
star
4

biscuit

Biscuit research OS
Go
2,447
star
5

xv6-riscv-book

Text describing xv6 on RISC-V
TeX
640
star
6

RVirt

RISC-V hypervisor written in Rust
Rust
343
star
7

xv6-book

Commentary for xv6-public
Perl
243
star
8

fscq

FSCQ is a certified file system written and proven in Coq
Coq
234
star
9

xv6-riscv-fall19

6.S081/6.828 lab repo for fall 2019
C
197
star
10

perennial

Verifying concurrent crash-safe systems
Coq
154
star
11

sigmaos

Go
96
star
12

6.828-qemu

qemu patched for debugging, used for 6.828
C
78
star
13

noria-mysql

MySQL/MariaDB protocol shim for Noria
Rust
67
star
14

noria-ui

Web UI for Noria clusters
JavaScript
67
star
15

go-journal

Verified, concurrent, crash-safe transaction system
Go
49
star
16

mcqc

A Gallina compiler with C++17 as an intermediate representation
Haskell
41
star
17

go-nfsd

Fast NFS server implemented using GoJournal
Go
40
star
18

ward

C++
30
star
19

daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.
Dafny
28
star
20

scalefs

C
21
star
21

dsrg

Distributed Systems Reading Group
CSS
20
star
22

secfs-skeleton

Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
Python
20
star
23

perflock

RWMutex for sharing of multicore machines.
C
16
star
24

vmvcc

Go
16
star
25

6.826-2020-labs

Lab assignments for 6.826
Coq
13
star
26

what

An improved version of `w`
Python
13
star
27

6.826-2017-labs

Coq
13
star
28

6.S060-labs

Programming labs for 6.S060 (Foundations of Computer Security).
Python
12
star
29

cspec

Verifying concurrent code with layers and movers
Coq
12
star
30

argosy

Proving crash safety for systems with layered recovery
Coq
11
star
31

6.826-2019-labs

Lab assignments for 6.826
Coq
10
star
32

gokv

Go
10
star
33

syndicate

Syndicate multiplexes several distributed master-slave applications onto a single cluster of machines.
Go
9
star
34

mailbot

Bot to send email notifications when pushing to GitHub
Shell
7
star
35

deepspec-pocs

Coq
6
star
36

6.1600-labs

Student lab assignments for MIT 6.1600
Python
6
star
37

6.5660-lab-2023

Python
5
star
38

spectrebench

C++
5
star
39

perennial-examples

Examples verified using Perennial
Go
4
star
40

grove-artifact

Python
3
star
41

noria-benchmarks

Experiment scripts and results for Soup
Rust
3
star
42

6.1600-notes

TeX
3
star
43

csail-events-slack

Simple Slack webhook for posting notifications about upcoming CSAIL seminars
Ruby
3
star
44

6.566-lab-2024

Python
2
star
45

new-students

Welcome for new PDOS students to get access to the organization
1
star