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

• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆191Updated last year
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆111Updated 10 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• mit-pdos / fscq
  FSCQ is a certified file system written and proven in Coq
  ☆249Updated 3 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 6 months ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆34Updated 10 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 8 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆100Updated last year
• MarisaKirisame / first_order_logic_prover
  ☆59Updated 7 years ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆80Updated 2 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆40Updated last year
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 8 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆35Updated 4 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆206Updated this week
• 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
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆27Updated 3 years ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆13Updated 5 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 10 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆87Updated 9 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆15Updated 8 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
• xiw / mini-mc
  minimal symbolic model checker & fuzzer
  ☆114Updated 10 years ago