Alternatives and similar repositories for Parallel-Raft-tla:

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

• tikv / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆120Updated this week
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆164Updated 9 months ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• BLepers / KVell
  KVell: the Design and Implementation of a Fast Persistent Key-Value Store
  ☆280Updated 4 years ago
• Little-Wallace / naivedb
  A simple sql server code by rust
  ☆65Updated 3 years ago
• MrCroxx / RunKV
  [WIP] An experimental cloud-native distributed KV engine for OLTP workload.
  ☆68Updated 2 years ago
• tellproject / tellstore
  A in-memory storage manager, that can do versioning and fast scans
  ☆50Updated 8 years ago
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆71Updated 9 months ago
• epfl-labos / TRIAD
  ☆43Updated 3 years ago
• zz-jason / leanstore
  LeanStore is a larger-than-memory database, optimized for NVMe SSD and multi-core CPU, achieves performance close to in-memory systems wi…
  ☆27Updated 4 months ago
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated this week
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆65Updated 4 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆87Updated 6 years ago
• pingcap / tidb-dev-guide
  A comprehensive development guide to help you be more and more familiar with the TiDB community and become an expert finally.
  ☆118Updated this week
• databendlabs / openkv
  LSM based key-value store in rust, design for cloud
  ☆87Updated 2 years ago
• theoanab / SILK-USENIXATC2019
  Code for "SILK: Preventing Latency Spikes in Log-Structured Merge Key-Value Stores" published in USENIX ATC 19
  ☆87Updated last year
• splvm / database-meetup
  The home page of database meetup
  ☆77Updated 2 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 3 years ago
• TPC-TiKV / rfc
  ☆24Updated 3 years ago
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆98Updated 8 years ago
• rust-lib-project / calibur
  A port for rocksdb
  ☆104Updated 2 years ago
• Veeupup / naive-query-engine
  A Toy Query Engine & SQL interface
  ☆65Updated 2 years ago
• TsinghuaDatabaseGroup / CloudDB
  continuously update cloud database papers
  ☆81Updated 7 months ago
• HaoyuHuang / NovaLSM
  Nova-LSM is a component-based design of the LSM-tree using fast and high bandwidth networks such as RDMA.
  ☆51Updated 3 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 5 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆27Updated 6 years ago
• PingCAP-QE / clustered-index-rand-test
  ☆12Updated last year
• rsy56640 / paper-reading
  record paper reading notes
  ☆42Updated last year
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Updated 5 years ago
• ngaut / unistore
  A fun project for evaluating some new optimizations quickly, do not use it in production
  ☆116Updated last year