Alternatives and similar repositories for PaxosStore-tla

Users that are interested in PaxosStore-tla are comparing it to the libraries listed below

• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆59Updated last year
• pingcap / tla-plus
  ☆304Updated last year
• scuptio / sedeve-kit
  In Spec We Trust
  ☆42Updated 5 months ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆172Updated last year
• BLepers / KVell
  KVell: the Design and Implementation of a Fast Persistent Key-Value Store
  ☆292Updated last week
• 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
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆74Updated last year
• JimChengLin / levi-db
  levi-db is a fast database engine
  ☆36Updated 7 years ago
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆100Updated 9 years ago
• epfl-labos / TRIAD
  ☆44Updated 4 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 5 years ago
• shanzi / NvmEngine
  Experimental KV store engine on non-volatile memory
  ☆72Updated 5 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• alg-nju / disalg-bib-dict
  ☆10Updated last year
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆30Updated 3 years ago
• mitdbg / deneva
  Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
  ☆117Updated 2 years ago
• yxymit / DBx1000
  ☆290Updated 2 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• abhisharma7 / WiscKey
  Key Value Store based on LevelDB
  ☆117Updated 4 years ago
• sfu-dis / ermia
  ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)
  ☆92Updated 3 years ago
• ramanala / PACE
  Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems
  ☆15Updated 9 years ago
• rsy56640 / triviality
  record some trivialities
  ☆53Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆27Updated last year
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆28Updated 7 years ago
• belliottsmith / accord
  ☆28Updated 3 years ago
• readablesystems / sto
  Software Transactional Objects
  ☆56Updated last year
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆12Updated 5 years ago