qed-solver / proverLinks
A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
☆54Updated last month
Alternatives and similar repositories for prover
Users that are interested in prover are comparing it to the libraries listed below
Sorting:
- In Spec We Trust☆36Updated last month
- Tool for checking whether two SQL queries are equivalent☆36Updated 2 years ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆80Updated 2 years ago
- Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)☆23Updated 2 years ago
- SQL Fuzz Testing Utilities☆29Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆62Updated 3 months ago
- 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
- Concurrent ART (adaptive radix tree)☆157Updated 2 months ago
- Prototype compiler from SaneQL to SQL☆83Updated last year
- ☆53Updated 2 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Updated 2 years ago
- An automated prover that verifies the equivalence of SQL queries☆45Updated 2 weeks ago
- Query Optimizer Service☆75Updated 2 months ago
- Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"☆24Updated last year
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆21Updated 2 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- ☆138Updated 3 years ago
- The Art of Latency Hiding in Modern Database Engines (VLDB 2024)☆59Updated 3 months ago
- LingoDB: A new analytical database system that blurs the lines between databases and compilers.☆270Updated this week
- The labs of Raft consensus algorithm based on MadSim.☆123Updated 5 months ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Updated last year
- An experimental optimizing compiler for Bril☆70Updated 3 weeks ago
- The codebase for DBSim☆15Updated 2 years ago
- Tools for generating TPC-* datasets☆29Updated last year
- A code-generating database system with incorporated versioning commands in SQL.☆13Updated 4 years ago
- Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index☆57Updated 10 months ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆25Updated last year
- Streaming and Incremental Computation Framework☆241Updated 2 years ago
- Programming Language for Continuous Deep Analytics☆47Updated last year