-
xv6-riscv
Xv6 for RISC-V
C ★ 10.0k 6d agoExplain → -
xv6-public
xv6 OS
C ★ 9.5k 1y agoExplain → -
noria
Fast web applications through dynamic, partially-stateful dataflow
Rust ★ 5.2k 4y agoExplain → -
biscuit
Biscuit research OS
Go ★ 2.6k 3y agoExplain → -
xv6-riscv-book
Text describing xv6 on RISC-V
TeX ★ 921 9mo agoExplain → -
RVirt
RISC-V hypervisor written in Rust
Rust ★ 369 6y agoExplain → -
xv6-book
Commentary for xv6-public
Perl ★ 273 5y agoExplain → -
fscq
FSCQ is a certified file system written and proven in Coq
Coq ★ 253 3y agoExplain → -
perennial
Verifying concurrent storage and distributed systems
Rocq Prover ★ 229 7d agoExplain → -
xv6-riscv-fall19
6.S081/6.828 lab repo for fall 2019
C ★ 216 4y agoExplain → -
sigmaos
No description.
Go ★ 159 2d agoExplain → -
6.828-qemu
qemu patched for debugging, used for 6.828
C ★ 86 2y agoExplain → -
noria-ui
Web UI for Noria clusters
JavaScript ★ 73 7y agoExplain → -
noria-mysql
MySQL/MariaDB protocol shim for Noria
Rust ★ 69 5y agoExplain → -
go-journal
Verified, concurrent, crash-safe transaction system
Go ★ 62 1y agoExplain → -
go-nfsd
Fast NFS server implemented using GoJournal
Go ★ 54 1y agoExplain → -
daisy-nfsd
DaisyNFS is an NFS server verified using Dafny and Perennial.
Dafny ★ 44 1y agoExplain → -
mcqc
A Gallina compiler with C++17 as an intermediate representation
Haskell ★ 43 5y agoExplain → -
ward
No description.
C++ ★ 30 4y agoExplain → -
vmvcc
No description.
Go ★ 28 1y agoExplain → -
secfs-skeleton
Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
Python ★ 24 4y agoExplain → -
scalefs
No description.
C ★ 22 8y agoExplain → -
dsrg ▣
Distributed Systems Reading Group
CSS ★ 20 8y agoExplain → -
6.826-2020-labs
Lab assignments for 6.826
Coq ★ 18 5y agoExplain → -
perflock
RWMutex for sharing of multicore machines.
C ★ 17 7y agoExplain → -
gokv
No description.
Go ★ 17 2mo agoExplain → -
6.826-2017-labs
No description.
Coq ★ 16 8y agoExplain → -
what
An improved version of `w`
Python ★ 15 9y agoExplain → -
6.S060-labs
Programming labs for 6.S060 (Foundations of Computer Security).
Python ★ 15 4y agoExplain → -
argosy
Proving crash safety for systems with layered recovery
Rocq Prover ★ 14 2mo agoExplain → -
cspec
Verifying concurrent code with layers and movers
Coq ★ 13 6y agoExplain → -
6.1600-labs
Student lab assignments for MIT 6.1600
Python ★ 11 1y agoExplain → -
6.826-2019-labs
Lab assignments for 6.826
Coq ★ 11 6y agoExplain → -
syndicate
Syndicate multiplexes several distributed master-slave applications onto a single cluster of machines.
Go ★ 10 10y agoExplain → -
6.5660-lab-2023
No description.
Python ★ 10 3y agoExplain → -
6.566-lab-2024
No description.
Python ★ 8 2y agoExplain → -
mailbot
Bot to send email notifications when pushing to GitHub
Shell ★ 8 6y agoExplain → -
6.1600-notes
No description.
TeX ★ 7 1y agoExplain → -
spectrebench
No description.
C++ ★ 6 4y agoExplain → -
deepspec-pocs
No description.
Coq ★ 6 9y agoExplain → -
perennial-examples
Examples verified using Perennial
Go ★ 5 1y agoExplain → -
perennial-cli
Tool to manage perennial verification projects
Go ★ 4 1mo agoExplain → -
gojournal-proof
Verification of GoJournal
Rocq Prover ★ 3 6mo agoExplain → -
DeathStarBench ⑂
Open-source benchmark suite for cloud microservices
C ★ 3 1y agoExplain → -
grove-artifact
No description.
Python ★ 3 2y agoExplain → -
csail-events-slack
Simple Slack webhook for posting notifications about upcoming CSAIL seminars
Ruby ★ 3 10y agoExplain → -
noria-benchmarks
Experiment scripts and results for Soup
Rust ★ 3 7y agoExplain → -
grove-proofs
Proofs of distributed systems using Grove
Rocq Prover ★ 2 6mo agoExplain → -
grove
Experiments in verifying distributed systems with Iris
★ 2 2y agoExplain → -
security-book ⑂
No description.
TeX ★ 1 2d agoExplain → -
tulip
No description.
Go ★ 1 9mo agoExplain → -
new-students
Welcome for new PDOS students to get access to the organization
★ 1 4y agoExplain → -
6.566-lab-2026
No description.
Python ★ 0 2mo agoExplain → -
tulip-proof
Verification of tulip
Rocq Prover ★ 0 6mo agoExplain → -
go-liveness
No description.
Go ★ 0 9mo agoExplain → -
go-ycsb
Fork of https://github.com/pingcap/go-ycsb/ with support for benchmarking GroveKV.
Go ★ 0 2y agoExplain → -
go-geoindex ⑂
Go native library for fast point tracking and K-Nearest queries
Go ★ 0 3y agoExplain → -
zero
PDOS keybase bot
JavaScript ★ 0 2y agoExplain → -
lockservice
No description.
Go ★ 0 5y agoExplain → -
soup-dbtoaster
Soup benchmarks using DBToaster
Shell ★ 0 7y agoExplain →
No repos match these filters.