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+
  ☆88Updated 7 years ago
• tikv / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆120Updated 3 weeks ago
• tikv / titan
  A RocksDB plugin for key-value separation, inspired by WiscKey.
  ☆500Updated this week
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆169Updated last year
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆54Updated 8 months ago
• efficient / epaxos
  ☆620Updated 3 years ago
• pingcap / blog-cn
  ☆129Updated 2 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆494Updated 3 months ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• kohler / masstree-beta
  Beta release of Masstree.
  ☆441Updated last year
• pingcap / kvproto
  Protocol buffer files for TiKV
  ☆158Updated last week
• ailidani / paxi
  Paxos protocol framework
  ☆557Updated last year
• BLepers / KVell
  KVell: the Design and Implementation of a Fast Persistent Key-Value Store
  ☆283Updated 4 years ago
• pingcap / tidb-map
  A series of maps to help users and contributors
  ☆96Updated 3 years ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆321Updated 3 years ago
• pingcap / tipocket
  A toolkit for testing TiDB
  ☆140Updated 2 years ago
• wangziqi2013 / BwTree
  An open sourced implementation of Bw-Tree in SQL Server Hekaton
  ☆511Updated 6 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.
  ☆121Updated last month
• tikv / raft-engine
  A persistent storage engine for Multi-Raft log
  ☆593Updated 2 weeks ago
• pingcap / go-randgen
  a QA tool to random generate sql by bnf pattern
  ☆77Updated 2 years ago
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated 4 months ago
• turingcell / paxos-made-easy
  Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
  ☆141Updated 4 years ago
• pingcap / tipb
  TiDB protobuf
  ☆97Updated last week
• pingcap / presentations
  ☆368Updated 2 years ago
• vectorengine / vectorsql
  VectorSQL is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.
  ☆293Updated 3 years ago
• utsaslab / pebblesdb
  The PebblesDB write-optimized key-value store (SOSP 17)
  ☆515Updated last year
• PikaLabs / floyd
  A raft consensus implementation that is simply and understandable
  ☆321Updated 6 years ago
• pingcap / meetup
  ☆38Updated 4 years ago
• petermattis / opttoy
  ☆50Updated 7 years ago
• krareT / trkdb
  ☆316Updated 6 years ago