Alternatives and similar repositories for tla-plus-resources:

Users that are interested in tla-plus-resources are comparing it to the libraries listed below

• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆51Updated 5 months ago
• pingcap / tla-plus
  ☆294Updated 8 months ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 3 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 5 years ago
• pingcap / meetup
  ☆37Updated 4 years ago
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆65Updated 4 years ago
• tikv / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆120Updated last week
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated last month
• ngaut / unistore
  A fun project for evaluating some new optimizations quickly, do not use it in production
  ☆118Updated last year
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 3 years ago
• PingCAP-QE / go-sqlancer
  go-sqlancer
  ☆77Updated 4 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆61Updated 2 years ago
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆166Updated 10 months ago
• belliottsmith / accord
  ☆26Updated 2 years ago
• pingcap / go-randgen
  a QA tool to random generate sql by bnf pattern
  ☆76Updated last year
• PingCAP-QE / clustered-index-rand-test
  ☆12Updated last year
• pingcap / blog-cn
  ☆127Updated last year
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆18Updated 8 years ago
• PingCAP-QE / Naglfar
  An automatic test pipeline for distributed systems.
  ☆17Updated 3 years ago
• databendlabs / openkv
  LSM based key-value store in rust, design for cloud
  ☆87Updated 2 years ago
• tellproject / tellstore
  A in-memory storage manager, that can do versioning and fast scans
  ☆50Updated 8 years ago
• turingcell / paxos-made-easy
  Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
  ☆141Updated 3 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.
  ☆119Updated last month
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 4 years ago
• pingcap / blog
  ☆48Updated 2 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆97Updated 6 years ago
• tikv / client-c
  The C++ TiKV client used by TiFlash.
  ☆41Updated last week
• vescale / zgraph
  An embeddable graph database for large-scale vertices and edges
  ☆74Updated last year
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 3 years ago