13 open source projects by mit-pdos

FSCQ is a certified file system written and proven in Coq

RISC-V hypervisor written in Rust

Commentary for xv6-public

Text describing xv6 on RISC-V

Biscuit research OS

6.S081/6.828 lab repo for fall 2019

Xv6 for RISC-V

Verifying concurrent crash-safe systems

Web UI for Noria clusters

xv6 OS

Fast web applications through dynamic, partially-stateful dataflow

Verified, concurrent, crash-safe transaction system

A Gallina compiler with C++17 as an intermediate representation