Giters
MIT PDOS (mit-pdos)

MIT PDOS

mit-pdos

Geek Repo

Parallel and Distributed Operating Systems group at MIT CSAIL

Location:Cambridge, MA

Home Page:https://pdos.csail.mit.edu

Github PK Tool:Github PK Tool

MIT PDOS's repositories

xv6-public

xv6 OS

Language:CLicense:NOASSERTIONStargazers:7782Issues:222Issues:0

xv6-riscv

Xv6 for RISC-V

Language:CLicense:NOASSERTIONStargazers:6957Issues:95Issues:93

biscuit

Biscuit research OS

Language:GoLicense:BSD-3-ClauseStargazers:2456Issues:79Issues:12

xv6-riscv-book

Text describing xv6 on RISC-V

Language:TeXLicense:NOASSERTIONStargazers:655Issues:25Issues:14

fscq

FSCQ is a certified file system written and proven in Coq

Language:CoqLicense:NOASSERTIONStargazers:234Issues:38Issues:15

perennial

Verifying concurrent crash-safe systems

Language:CoqLicense:MITStargazers:146Issues:16Issues:24

6.828-qemu

qemu patched for debugging, used for 6.828

Language:CLicense:NOASSERTIONStargazers:77Issues:9Issues:3

go-journal

Verified, concurrent, crash-safe transaction system

Language:GoLicense:MITStargazers:50Issues:9Issues:2

go-nfsd

Fast NFS server implemented using GoJournal

Language:GoLicense:MITStargazers:41Issues:17Issues:1

ward

Language:C++License:NOASSERTIONStargazers:30Issues:6Issues:47

daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.

Language:DafnyLicense:MITStargazers:29Issues:11Issues:0

sigmaos

Language:GoLicense:MITStargazers:23Issues:12Issues:1

secfs-skeleton

Skeleton code for new 6.858 final project --- an encrypted and authenticated file system

Language:PythonLicense:MITStargazers:21Issues:36Issues:2

vmvcc

Language:GoLicense:MITStargazers:16Issues:9Issues:0

6.S060-labs

Programming labs for 6.S060 (Foundations of Computer Security).

Language:PythonLicense:MITStargazers:12Issues:7Issues:1

argosy

Proving crash safety for systems with layered recovery

Language:CoqLicense:MITStargazers:11Issues:6Issues:0

gokv

Language:GoStargazers:10Issues:9Issues:0

6.1600-labs

Student lab assignments for MIT 6.1600

Language:PythonStargazers:6Issues:9Issues:0

zero

PDOS keybase bot

Language:JavaScriptStargazers:6Issues:6Issues:0

6.5660-lab-2023

Language:PythonLicense:NOASSERTIONStargazers:5Issues:8Issues:0

spectrebench

Language:C++License:Apache-2.0Stargazers:5Issues:3Issues:0

perennial-examples

Examples verified using Perennial

Language:GoLicense:MITStargazers:4Issues:10Issues:0

6.1600-notes

Language:TeXStargazers:3Issues:8Issues:0

grove-artifact

Language:PythonStargazers:3Issues:7Issues:0

6.566-lab-2024

Language:PythonLicense:NOASSERTIONStargazers:2Issues:7Issues:0

DeathStarBench

Open-source benchmark suite for cloud microservices

Language:CLicense:Apache-2.0Stargazers:2Issues:1Issues:0

grove

Experiments in verifying distributed systems with Iris

Stargazers:2Issues:8Issues:0

go-geoindex

Go native library for fast point tracking and K-Nearest queries

Language:GoLicense:MITStargazers:0Issues:1Issues:0

go-ycsb

Fork of https://github.com/pingcap/go-ycsb/ with support for benchmarking GroveKV.

Language:GoLicense:Apache-2.0Stargazers:0Issues:7Issues:0

pav

Key transparency!

Language:GoStargazers:0Issues:0Issues:0