cmu-db / noisepage-statsView external linksLinks
DBMS Performance & Correctness Testing Framework
☆30Sep 22, 2021Updated 4 years ago
Alternatives and similar repositories for noisepage-stats
Users that are interested in noisepage-stats are comparing it to the libraries listed below
Sorting:
- ☆11Sep 21, 2018Updated 7 years ago
- high-efficiency concurrent reclamation☆38Aug 29, 2024Updated last year
- SQL front-end in Rust☆14May 11, 2021Updated 4 years ago
- A simple Disk-based Key-Value Store☆15Dec 7, 2018Updated 7 years ago
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 6 years ago
- ☆16Mar 3, 2021Updated 4 years ago
- A template for writing your Bachelor, Master or PhD thesis.☆11Sep 25, 2023Updated 2 years ago
- miniserde minus the dependencies☆20Aug 25, 2021Updated 4 years ago
- A safe-guarded transmute for Rust☆40May 21, 2024Updated last year
- Simulated playground for distributed algorithms☆14Aug 10, 2020Updated 5 years ago
- Data structure to maintain an incremental topological ordering over a collection of values☆19Jul 28, 2025Updated 6 months ago
- Main sources of systems of Immux☆39Mar 8, 2021Updated 4 years ago
- tikv-importer is a front-end to help ingesting large number of KV pairs into a TiKV cluster☆20Mar 20, 2023Updated 2 years ago
- An automatic test pipeline for distributed systems.☆17Aug 3, 2021Updated 4 years ago
- Derive macro for generating arrays from struct fields.☆20Oct 6, 2022Updated 3 years ago
- personal git mirror of sqllogictest☆43Nov 4, 2025Updated 3 months ago
- In memory TPC-C implementation. Used for a number of database research projects.☆39Sep 27, 2020Updated 5 years ago
- ☆20Oct 1, 2020Updated 5 years ago
- Rich testing for the Go language☆20Oct 26, 2021Updated 4 years ago
- TiKV community content☆44Jan 30, 2026Updated 2 weeks ago
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆142Jul 11, 2020Updated 5 years ago
- Phone to Desktop opensource project☆20Aug 7, 2017Updated 8 years ago
- ☆25Oct 11, 2021Updated 4 years ago
- Model-based testing tool☆63Mar 12, 2025Updated 11 months ago
- 🦜 yair - a high-level compiler IR entirely written in Rust☆38Dec 11, 2021Updated 4 years ago
- The Movement DAO Whitepaper☆11Mar 4, 2018Updated 7 years ago
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆41Aug 20, 2024Updated last year
- Benchmark Tool for Embedded Key-Value Stores available in Rust☆28May 29, 2024Updated last year
- Self-Driving Database Management System from Carnegie Mellon University☆1,758Nov 8, 2022Updated 3 years ago
- "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)☆25Jun 22, 2018Updated 7 years ago
- Peloton Design Docs☆28Aug 1, 2018Updated 7 years ago
- Django with Data Science [Video], published by Packt☆12Dec 15, 2025Updated 2 months ago
- Unveiling the Economics of SQL Operations☆10Apr 21, 2024Updated last year
- PostgreSQL-compatible TPC-H benchmark, with wrapper scripts for populating data and evaluating performance☆29Jun 28, 2016Updated 9 years ago
- a pragmatic point-free theorem prover assistant☆143Sep 21, 2025Updated 4 months ago
- go-sqlsmith is a port of sqlsmith☆37Apr 16, 2025Updated 10 months ago
- Rust implementation for T1HA (Fast Positive Hash)☆90Feb 19, 2024Updated last year
- Concurrent work-stealing deque☆48Nov 5, 2018Updated 7 years ago
- Exactly what the title says.☆13Feb 2, 2021Updated 5 years ago