PingCAP-QE / matrixLinks
fuzzing for config
☆13Updated 5 years ago
Alternatives and similar repositories for matrix
Users that are interested in matrix are comparing it to the libraries listed below
Sorting:
- a QA tool to random generate sql by bnf pattern☆78Updated 2 years ago
- horoscope is an optimizer inspector for DBMS.☆36Updated 4 years ago
- ☆12Updated 2 years ago
- An automatic test pipeline for distributed systems.☆17Updated 4 years ago
- go-sqlancer☆78Updated 5 years ago
- A toolkit for testing TiDB☆139Updated 2 years ago
- scripts for testing TiDB☆10Updated last week
- 数据库测试资料 This repo is a collection of resources on testing database systems☆171Updated 7 months ago
- go-sqlsmith is a port of sqlsmith☆37Updated 9 months ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 5 years ago
- A toolbox to benchmark TPC workloads in Go☆204Updated 2 weeks ago
- This tool is used to capture plan changes in different versions of TiDB.☆13Updated 7 months ago
- A fun project for evaluating some new optimizations quickly, do not use it in production☆118Updated 2 years ago
- ☆24Updated 3 years ago
- PingCAP's CI configurations and scripts.☆21Updated this week
- master of keys☆69Updated 8 months ago
- Tool to tune TiKV with ML method☆64Updated 5 years ago
- A test framework for linearizability check with Go☆211Updated 6 years ago
- A series of maps to help users and contributors☆98Updated 4 years ago
- Personal reading list/reference re: TLA+☆90Updated 7 years ago
- A BPF-based kernel fault injection service☆31Updated 2 years ago
- The TiDB IDE☆88Updated 2 years ago
- A library that provides an embeddable, persistent key-value store for fast storage.☆121Updated 3 weeks ago
- A Golang implementation of MySQL Test Framework☆75Updated last week
- A hook filesystem and utils to inject IO chaos☆54Updated last year
- ☆14Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm☆19Updated 9 years ago
- A comprehensive development guide to help you be more and more familiar with the TiDB community and become an expert finally.☆123Updated last month
- Explore JIT in TiDB☆27Updated 4 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Updated last year