Alternatives and similar repositories for tla-plus-resources

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

• pingcap / tla-plus
  ☆302Updated last year
• 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 / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆19Updated 9 years ago
• tikv / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆121Updated 2 months ago
• ngaut / unistore
  A fun project for evaluating some new optimizations quickly, do not use it in production
  ☆118Updated last year
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 5 years ago
• liuzix / ticompile
  Explore JIT in TiDB
  ☆27Updated 3 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆63Updated 4 years ago
• PingCAP-QE / go-sqlancer
  go-sqlancer
  ☆78Updated 5 years ago
• tellproject / tellstore
  A in-memory storage manager, that can do versioning and fast scans
  ☆50Updated 9 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• nvb / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 5 years ago
• PingCAP-QE / clustered-index-rand-test
  ☆12Updated last year
• cmu-db / peloton-design
  Peloton Design Docs
  ☆28Updated 7 years ago
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated 3 months ago
• databendlabs / openkv
  LSM based key-value store in rust, design for cloud
  ☆87Updated 3 years ago
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 3 years ago
• pingcap / kvproto
  Protocol buffer files for TiKV
  ☆166Updated last week
• pingcap / go-randgen
  a QA tool to random generate sql by bnf pattern
  ☆77Updated 2 years ago
• zhangysh1995 / awesome-database-testing
  数据库测试资料 This repo is a collection of resources on testing database systems
  ☆170Updated 4 months ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆120Updated 2 years ago
• pingcap / blog
  ☆48Updated 3 years ago
• pentium3 / AutoTiKV
  ☆21Updated 2 years ago
• IBM / uDepot
  Key-Value Store for Non-Volatile Memories uDepot
  ☆46Updated 3 years ago
• pingcap / tipocket
  A toolkit for testing TiDB
  ☆140Updated 2 years ago
• drmingdrmer / consensus-essence
  distributed consensus protocol's bugs, flaws, deceptive traps, improvements
  ☆120Updated 6 months ago