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
  ☆305Updated last year
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 8 years ago
• JimChengLin / levi-db
  levi-db is a fast database engine
  ☆36Updated 7 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆42Updated 7 months ago
• BLepers / KVell
  KVell: the Design and Implementation of a Fast Persistent Key-Value Store
  ☆293Updated last month
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆74Updated last year
• alg-nju / disalg-bib-dict
  ☆10Updated last year
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 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
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆101Updated 9 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• yxymit / DBx1000
  ☆290Updated 3 years ago
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆173Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆28Updated last year
• 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
• epfl-labos / TRIAD
  ☆44Updated 4 years ago
• leviathan0992 / Learn-TLA-cn
  [WIP]TLA+教程中文翻译
  ☆49Updated 7 years ago
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆30Updated 3 years ago
• efficient / epaxos
  ☆630Updated 4 years ago
• runshenzhu / palmtree
  An implementation of Intel's concurrent B+Tree (Palm Tree)
  ☆176Updated 9 years ago
• rsy56640 / triviality
  record some trivialities
  ☆54Updated 2 years ago
• shanzi / NvmEngine
  Experimental KV store engine on non-volatile memory
  ☆73Updated 5 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 5 years ago
• readablesystems / sto
  Software Transactional Objects
  ☆56Updated last year
• sfu-dis / ermia
  ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)
  ☆92Updated 3 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆28Updated 7 years ago
• siathalysedI / lsmtree
  Log-Structured Merge-Tree (LSM-Tree)
  ☆90Updated 8 years ago
• malbrain / Btree-source-code
  A working project for High-concurrency B-tree source code in C
  ☆252Updated 5 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago