mit-pdos / 6.826-2017-labsLinks
☆14Updated 8 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
Sorting:
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆191Updated 2 years ago
- Distributed Systems Reading Group☆20Updated 8 years ago
- ☆33Updated 3 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 8 years ago
- Implementation of Raft consensus algorithm☆114Updated 11 years ago
- FSCQ is a certified file system written and proven in Coq☆250Updated 3 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 10 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- ☆60Updated 7 years ago
- SQL Testing Framework for the Peloton DBMS☆20Updated 8 years ago
- ☆27Updated last month
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- ☆187Updated 5 years ago
- JOS Lab of MIT 6.828: Operating System Engineering.☆18Updated 8 years ago
- Transparent Paxos☆45Updated 6 years ago
- 编译原理相关的工作岗位收集☆88Updated 7 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 6 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Updated last year
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- Ye Olde Computer Science Scrolls!☆105Updated 9 years ago
- Reading the linearizability paper with TLA+☆51Updated 3 years ago
- TLA+ and Alloy specs of database isolation☆21Updated 10 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- Verifying concurrent code with layers and movers☆13Updated 5 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Updated 7 years ago
- TLA+ specification of Flexible Paxos☆41Updated 2 years ago
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆41Updated 7 years ago
- slides of zju-lambda☆14Updated 6 years ago
- code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896☆18Updated 7 years ago