Alternatives and similar repositories for tla-plus

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

• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• tikv / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆121Updated last month
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆62Updated 3 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
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆59Updated last year
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated 3 months ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆19Updated 9 years ago
• efficient / epaxos
  ☆627Updated 4 years ago
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 5 years ago
• tikv / titan
  A RocksDB plugin for key-value separation, inspired by WiscKey.
  ☆508Updated 2 months ago
• pingcap / tidb-map
  A series of maps to help users and contributors
  ☆98Updated 4 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆28Updated 7 years ago
• pingcap / blog-cn
  ☆130Updated 2 years ago
• pingcap / go-randgen
  a QA tool to random generate sql by bnf pattern
  ☆77Updated 2 years ago
• pingcap / tipocket
  A toolkit for testing TiDB
  ☆140Updated 2 years ago
• turingcell / paxos-made-easy
  Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
  ☆141Updated 4 years ago
• pingcap / blog
  ☆48Updated 3 years ago
• BLepers / KVell
  KVell: the Design and Implementation of a Fast Persistent Key-Value Store
  ☆289Updated 4 years ago
• pingcap / meetup
  ☆38Updated 5 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• pingcap / jepsen
  A framework for distributed systems verification, with fault injection
  ☆46Updated 4 months ago
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 3 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆189Updated last year
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆64Updated 4 years ago
• pingcap / tipb
  TiDB protobuf
  ☆99Updated 3 weeks ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆501Updated 8 months ago
• pingcap / presentations
  ☆367Updated 3 years ago
• ailidani / paxi
  Paxos protocol framework
  ☆556Updated last year
• tidb-incubator / tide
  The TiDB IDE
  ☆88Updated last year