mit-pdos / 6.826-2017-labsLinks
☆14Updated 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
Sorting:
- ☆33Updated 3 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆189Updated last year
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- FSCQ is a certified file system written and proven in Coq☆247Updated 2 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- slides of zju-lambda☆14Updated 6 years ago
- 编译原理相关的工作岗位收集☆87Updated 6 years ago
- ☆59Updated 7 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 6 years ago
- ☆27Updated 4 months ago
- Transparent Paxos☆44Updated 6 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆102Updated 10 years ago
- Ye Olde Computer Science Scrolls!☆104Updated 8 years ago
- ☆19Updated 9 years ago
- TLA+ and Alloy specs of database isolation☆20Updated 9 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Updated 9 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- Personal reading list/reference re: TLA+☆90Updated 7 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Updated 6 years ago
- Simplified Git☆40Updated 10 years ago
- ☆185Updated 5 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 7 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated last year
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 5 years ago