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
  ☆302Updated last year
• scuptio / sedeve-kit
  In Spec We Trust
  ☆40Updated 4 months ago
• JimChengLin / levi-db
  levi-db is a fast database engine
  ☆36Updated 7 years ago
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆74Updated last year
• leviathan0992 / Learn-TLA-cn
  [WIP]TLA+教程中文翻译
  ☆48Updated 7 years ago
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 years ago
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆99Updated 9 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• BLepers / KVell
  KVell: the Design and Implementation of a Fast Persistent Key-Value Store
  ☆290Updated 5 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
• shanzi / NvmEngine
  Experimental KV store engine on non-volatile memory
  ☆72Updated 4 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆28Updated 7 years ago
• runshenzhu / palmtree
  An implementation of Intel's concurrent B+Tree (Palm Tree)
  ☆176Updated 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
• malbrain / Btree-source-code
  A working project for High-concurrency B-tree source code in C
  ☆251Updated 5 years ago
• yxymit / DBx1000
  ☆291Updated 2 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 4 years ago
• rsy56640 / triviality
  record some trivialities
  ☆53Updated last year
• wangziqi2013 / BwTree
  An open sourced implementation of Bw-Tree in SQL Server Hekaton
  ☆519Updated 6 years ago
• wangziqi2016 / index-microbench
  ☆149Updated 2 years ago
• Cavalia / Cavalia
  A transactional main-memory database system on multicores
  ☆104Updated 7 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• abhisharma7 / WiscKey
  Key Value Store based on LevelDB
  ☆116Updated 4 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• epfl-labos / TRIAD
  ☆44Updated 4 years ago
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆38Updated 5 years ago
• tellproject / tellstore
  A in-memory storage manager, that can do versioning and fast scans
  ☆50Updated 9 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆30Updated 3 years ago