mit-pdos / 6.826-2017-labs
☆13Updated 7 years ago
Alternatives and similar repositories for 6.826-2017-labs:
Users that are interested in 6.826-2017-labs are comparing it to the libraries listed below
- Distributed Systems Reading Group☆20Updated 7 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- JOS Lab of MIT 6.828: Operating System Engineering.☆17Updated 7 years ago
- TLA+ and Alloy specs of database isolation☆20Updated 9 years ago
- ☆27Updated last month
- ☆31Updated 2 years ago
- Bytecode compiler of a variant of Caml☆33Updated 9 years ago
- RWMutex for sharing of multicore machines.☆17Updated 5 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 7 years ago
- Makes building C++ projects easier with Buck.☆23Updated 3 years ago
- The rewrite of TLAPM, the TLAPS proof managerUpdated 5 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- Formal semantics of LLVM IR in K☆46Updated 6 years ago
- Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…☆53Updated 12 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- tiger compiler☆10Updated 6 years ago
- Fork of http://compcert.inria.fr/☆22Updated 10 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- Implementation of Raft consensus algorithm☆111Updated 10 years ago
- ☆73Updated 11 years ago
- ☆14Updated 7 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- ☆13Updated 5 years ago
- Affinity database C++ kernel library☆31Updated 10 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago