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 6 months ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 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
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆74Updated last year
• NYU-NEWS / janus
  ☆51Updated last year
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 5 years ago
• BLepers / KVell
  KVell: the Design and Implementation of a Fast Persistent Key-Value Store
  ☆291Updated last month
• 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
• 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
  ☆101Updated 9 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
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆38Updated 5 years ago
• alg-nju / disalg-bib-dict
  ☆10Updated last year
• yxymit / DBx1000
  ☆289Updated 3 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆28Updated 7 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• shanzi / NvmEngine
  Experimental KV store engine on non-volatile memory
  ☆72Updated 5 years ago
• readablesystems / sto
  Software Transactional Objects
  ☆56Updated last year
• wangziqi2016 / index-microbench
  ☆150Updated 2 years ago
• epfl-labos / TRIAD
  ☆44Updated 4 years ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆19Updated 9 years ago
• sfu-dis / ermia
  ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)
  ☆92Updated 3 years ago
• hku-systems / apus
  An RDMA-powered, fast, and scalable Paxos protocol
  ☆26Updated 6 years ago
• leviathan0992 / Learn-TLA-cn
  [WIP]TLA+教程中文翻译
  ☆49Updated 7 years ago
• rmind / masstree
  Masstree -- lockless cache-aware trie of B+ trees [experimental]
  ☆100Updated 7 years ago
• abhisharma7 / WiscKey
  Key Value Store based on LevelDB
  ☆117Updated 4 years ago