qed-solver / proverLinks
A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
☆50Updated last year
Alternatives and similar repositories for prover
Users that are interested in prover are comparing it to the libraries listed below
Sorting:
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆23Updated 2 years ago
- Tool for checking whether two SQL queries are equivalent☆37Updated 2 years ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆80Updated 2 years ago
- In Spec We Trust☆35Updated 3 weeks ago
- Tools for generating TPC-* datasets☆29Updated 11 months ago
- Code for "Lessons Learned from Building a Query Optimizer" blog series☆46Updated 3 months ago
- The Art of Latency Hiding in Modern Database Engines (VLDB 2024)☆58Updated last month
- Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025 Best Paper Award)☆55Updated last month
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆28Updated 2 years ago
- A Postgres Extension to Manage Extensions! (As well as some random stuff)☆14Updated 2 years ago
- Query Optimizer Service☆58Updated this week
- ☆30Updated 2 years ago
- Rust bindings for SPDK☆12Updated 5 years ago
- YCSB in Rust (WIP)☆19Updated 4 years ago
- ☆21Updated 2 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆40Updated 6 months ago
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆21Updated 2 years ago
- ☆70Updated 2 months ago
- An open-source BzTree implementation☆92Updated 3 years ago
- ☆47Updated last year
- A Postgres extension that rewrites strings to 💩☆21Updated 2 years ago
- Concurrent ART (adaptive radix tree)☆149Updated last week
- ☆53Updated 2 years ago
- Prototype compiler from SaneQL to SQL☆81Updated last year
- SQL Fuzz Testing Utilities☆29Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆59Updated 3 weeks ago
- The SQL Standards Project aims to create consensus in SQL semantics☆45Updated 7 months ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated 2 months ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆90Updated 2 years ago
- VeriBetrKV OSDI'20 artifact☆10Updated 4 years ago