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

• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 11 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆191Updated last year
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last week
• 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
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 8 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 10 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 10 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆100Updated last year
• uw-unsat / hyperkernel
  ☆186Updated 5 years ago
• sajith / cs-papers
  Ye Olde Computer Science Scrolls!
  ☆105Updated 9 years ago
• murraycu / murrayc-compiler-experiments
  Code experiments to exercise ideas while reading "Engineering a Compiler".
  ☆27Updated 6 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• MarisaKirisame / first_order_logic_prover
  ☆60Updated 7 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 7 years ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 years ago
• mit-frap / spring18
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018
  ☆23Updated 7 years ago
• GLaDOS-Michigan / I4
  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
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 9 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• agentzh / re1
  agentzh's fork of Russ Cox's re1 toy regex library
  ☆19Updated 12 years ago
• apc999 / libcuckoo
  A high-performance, concurrent hash table
  ☆24Updated 11 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 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…
  ☆233Updated 4 years ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆208Updated this week