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 10 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆190Updated last year
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆248Updated 2 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
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 5 months ago
• MarisaKirisame / first_order_logic_prover
  ☆59Updated 7 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 7 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆100Updated last year
• MarisaKirisame / algebraic_data_type
  ☆19Updated 10 years ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• google / ohmu
  Compiler intermediate language for static analysis.
  ☆107Updated 6 years ago
• DistributedComponents / InfSeqExt
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
  ☆17Updated 2 years ago
• murraycu / murrayc-compiler-experiments
  Code experiments to exercise ideas while reading "Engineering a Compiler".
  ☆27Updated 6 years ago
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 7 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 9 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 9 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆35Updated 4 years ago
• sajith / cs-papers
  Ye Olde Computer Science Scrolls!
  ☆105Updated 8 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• sbinet / perfbook
  mirror of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git
  ☆74Updated 12 years ago
• ucf-cs / Tervel
  Fast wait-free algorithms designed for shared memory systems
  ☆46Updated 7 years ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 12 years ago
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 years ago