Alternatives and similar repositories for aries

Users that are interested in aries are comparing it to the libraries listed below

• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆191Updated last year
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated 2 weeks ago
• petermattis / opttoy
  ☆51Updated 8 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆62Updated 3 years ago
• databendlabs / openkv
  LSM based key-value store in rust, design for cloud
  ☆87Updated 3 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• pingcap / tla-plus
  ☆305Updated last year
• dstibrany / LockManager
  LockManager with deadlock detection for implementing 2PL
  ☆13Updated 6 years ago
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆213Updated 7 years ago
• splvm / database-meetup
  The home page of database meetup
  ☆78Updated 3 years ago
• pingcap / blog
  ☆47Updated 3 years ago
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 3 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆121Updated 3 years ago
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆44Updated 5 years ago
• jiangzhe / doradb
  DoraDB
  ☆118Updated this week
• drmingdrmer / consensus-essence
  distributed consensus protocol's bugs, flaws, deceptive traps, improvements
  ☆122Updated 9 months ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆19Updated 9 years ago
• nvb / rafttoy
  A playground to experiment with Raft proposal pipeline optimization
  ☆16Updated 3 years ago
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆64Updated 5 years ago
• MrCroxx / RunKV
  [Archive] An experimental cloud-native distributed KV engine for OLTP workload.
  ☆72Updated 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
• pingcap / tidb-map
  A series of maps to help users and contributors
  ☆98Updated 4 years ago
• ajdavis / python-paxos-jepsen
  Paxos in Python, tested with Jepsen
  ☆31Updated 4 years ago
• Little-Wallace / naivedb
  A simple sql server code by rust
  ☆65Updated 4 years ago
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆101Updated 9 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆86Updated 4 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• Fedomn / how-query-engine-work
  How query engine work golang port for learning purpose
  ☆23Updated 4 years ago