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

• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆191Updated 2 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 8 years ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆250Updated 3 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 8 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆114Updated 11 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 10 years ago
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 8 years ago
• sbinet / perfbook
  mirror of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git
  ☆74Updated 12 years ago
• MarisaKirisame / first_order_logic_prover
  ☆60Updated 7 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 7 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆81Updated 2 years ago
• ucf-cs / Tervel
  Fast wait-free algorithms designed for shared memory systems
  ☆46Updated 7 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆41Updated 2 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 10 years ago
• murraycu / murrayc-compiler-experiments
  Code experiments to exercise ideas while reading "Engineering a Compiler".
  ☆27Updated 6 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last month
• uw-unsat / hyperkernel
  ☆186Updated 5 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 7 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆234Updated 4 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆15Updated 8 years ago
• agentzh / re1
  agentzh's fork of Russ Cox's re1 toy regex library
  ☆19Updated 12 years ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆13Updated 5 years ago
• xelabs / ft-index
  TokuFT is a high-performance, transactional key-value store
  ☆19Updated 5 years ago