Alternatives and similar repositories for tlaplus-example

Users that are interested in tlaplus-example are comparing it to the libraries listed below

• pingcap / jepsen
  A framework for distributed systems verification, with fault injection
  ☆46Updated 4 months ago
• CatKang / Solitaire
  Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
  ☆17Updated 7 years ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆19Updated 9 years ago
• pingcap / chaos
  A test framework for linearizability check with Go
  ☆211Updated 6 years ago
• xelabs / go-jepsen
  go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...
  ☆63Updated 7 years ago
• PingCAP-QE / clustered-index-rand-test
  ☆12Updated last year
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆64Updated 4 years ago
• ngaut / unistore
  A fun project for evaluating some new optimizations quickly, do not use it in production
  ☆118Updated last year
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• pingcap / tla-plus
  ☆299Updated last year
• cmu-db / peloton-design
  Peloton Design Docs
  ☆28Updated 7 years ago
• tellproject / tellstore
  A in-memory storage manager, that can do versioning and fast scans
  ☆50Updated 9 years ago
• pingcap / tipb
  TiDB protobuf
  ☆99Updated 3 weeks ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆59Updated last year
• neverchanje / consensus-yaraft
  consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…
  ☆29Updated 7 years ago
• liuzix / ticompile
  Explore JIT in TiDB
  ☆27Updated 3 years ago
• siddontang / fio-helper
  A simple tool to help me run fio benchmark
  ☆11Updated 7 years ago
• pingcap / kvproto
  Protocol buffer files for TiKV
  ☆165Updated last week
• osrg / hookfs
  A Usermode Hookable Filesystem Library
  ☆45Updated 6 years ago
• tikv / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆121Updated last month
• chaos-mesh / bpfki
  A BPF-based kernel fault injection service
  ☆31Updated last year
• tiglabs / raft
  an implementation of raft in Go
  ☆159Updated 4 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• siddontang / fault-injection
  Some tools to inject failure
  ☆10Updated 7 years ago
• logcabin / liblogcabin
  An attempt to split the Raft library out of LogCabin
  ☆37Updated 8 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• pingcap / blog-cn
  ☆130Updated 2 years ago
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Updated 6 years ago
• JimChengLin / levi-db
  levi-db is a fast database engine
  ☆36Updated 7 years ago
• pentium3 / AutoTiKV
  ☆21Updated 2 years ago