pingcap / tla-plus
☆298Updated 9 months ago
Alternatives and similar repositories for tla-plus:
Users that are interested in tla-plus are comparing it to the libraries listed below
- Personal reading list/reference re: TLA+☆88Updated 7 years ago
- A library that provides an embeddable, persistent key-value store for fast storage.☆120Updated last month
- ☆128Updated 2 years ago
- A RocksDB plugin for key-value separation, inspired by WiscKey.☆495Updated 3 weeks ago
- TiDB protobuf☆95Updated this week
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆167Updated last year
- Beta release of Masstree.☆440Updated last year
- KVell: the Design and Implementation of a Fast Persistent Key-Value Store☆283Updated 4 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆52Updated 6 months ago
- A series of maps to help users and contributors☆96Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆489Updated last month
- Protocol buffer files for TiKV☆155Updated 3 weeks ago
- ☆618Updated 3 years ago
- a QA tool to random generate sql by bnf pattern☆77Updated 2 years ago
- ☆37Updated 4 years ago
- ☆368Updated 2 years ago
- Resources for the transaction SIG☆63Updated 2 years ago
- RFCs for changes to TiKV and its ecosystem☆78Updated 2 months ago
- A comprehensive development guide to help you be more and more familiar with the TiDB community and become an expert finally.☆118Updated 2 months ago
- Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm☆141Updated 3 years ago
- An open sourced implementation of Bw-Tree in SQL Server Hekaton☆499Updated 6 years ago
- A toolkit for testing TiDB☆140Updated 2 years ago
- 数据库测试资料 This repo is a collection of resources on testing database systems☆168Updated last year
- VectorSQL is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.☆292Updated 3 years ago
- horoscope is an optimizer inspector for DBMS.☆36Updated 3 years ago
- The PebblesDB write-optimized key-value store (SOSP 17)☆510Updated 11 months ago
- Tool to tune TiKV with ML method☆64Updated 4 years ago
- A test framework for linearizability check with Go☆209Updated 5 years ago
- ☆48Updated 2 years ago
- A in-memory storage manager, that can do versioning and fast scans☆50Updated 8 years ago