mit-pdos/cspec mit-pdos/cspec

  • Stars
    star
    11
  • Rank 1,648,594 (Top 34 %)
  • Language Coq
  • License
    Other
  • Created about 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mit-pdos/cspec
github

mit-pdos

Reviews

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

Repository Details

Verifying concurrent code with layers and movers

More Repositories

1

xv6-public

xv6 OS
C
7,277
star
2

xv6-riscv

Xv6 for RISC-V
C
5,888
star
3

noria

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

biscuit

Biscuit research OS
Go
2,394
star
5

xv6-riscv-book

Text describing xv6 on RISC-V
TeX
538
star
6

RVirt

RISC-V hypervisor written in Rust
Rust
329
star
7

xv6-book

Commentary for xv6-public
Perl
235
star
8

fscq

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

xv6-riscv-fall19

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

perennial

Verifying concurrent crash-safe systems
Coq
129
star
11

6.828-qemu

qemu patched for debugging, used for 6.828
C
76
star
12

noria-ui

Web UI for Noria clusters
JavaScript
67
star
13

noria-mysql

MySQL/MariaDB protocol shim for Noria
Rust
66
star
14

go-journal

Verified, concurrent, crash-safe transaction system
Go
44
star
15

mcqc

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

go-nfsd

Fast NFS server implemented using GoJournal
Go
38
star
17

ward

C++
29
star
18

daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.
Dafny
27
star
19

sigmaos

Go
24
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
19
star
23

perflock

RWMutex for sharing of multicore machines.
C
15
star
24

6.826-2017-labs

Coq
13
star
25

vmvcc

Go
13
star
26

6.826-2020-labs

Lab assignments for 6.826
Coq
12
star
27

6.S060-labs

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

what

An improved version of `w`
Python
12
star
29

argosy

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

6.826-2019-labs

Lab assignments for 6.826
Coq
10
star
31

syndicate

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

gokv

Go
7
star
33

mailbot

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

deepspec-pocs

Coq
6
star
35

6.1600-labs

Student lab assignments for MIT 6.1600
Python
6
star
36

spectrebench

C++
5
star
37

6.5660-lab-2023

Python
4
star
38

grove-artifact

Python
3
star
39

noria-benchmarks

Experiment scripts and results for Soup
Rust
3
star
40

6.1600-notes

TeX
3
star
41

perennial-examples

Examples verified using Perennial
Go
3
star
42

csail-events-slack

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

grove

Experiments in verifying distributed systems with Iris
2
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