A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
☆69Sep 21, 2025Updated 5 months ago
Alternatives and similar repositories for prover
Users that are interested in prover are comparing it to the libraries listed below
Sorting:
- Experimental DataFusion Optimizer☆52Jun 9, 2023Updated 2 years ago
- The codebase for DBSim☆16Mar 8, 2023Updated 2 years ago
- Tool for checking whether two SQL queries are equivalent☆35May 9, 2023Updated 2 years ago
- Spatialyze: A Geospatial Video Analytic System with Spatial-Aware Optimizations☆10Mar 3, 2025Updated 11 months ago
- demo program for POC☆16Mar 21, 2023Updated 2 years ago
- An automated prover that verifies the equivalence of SQL queries☆62Nov 22, 2025Updated 3 months ago
- Code repository for blog article series https://nixcademy.com/2023/10/31/cpp-with-nix-in-2023-part-1-shell/☆11Jan 11, 2024Updated 2 years ago
- ☆30Jun 1, 2023Updated 2 years ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆12Sep 7, 2025Updated 5 months ago
- A Postgres Extension to Manage Extensions! (As well as some random stuff)☆15May 31, 2023Updated 2 years ago
- ☆13Mar 2, 2018Updated 7 years ago
- An automatic test pipeline for distributed systems.☆17Aug 3, 2021Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- Automated testing for XML XPath execution☆18Jan 5, 2024Updated 2 years ago
- ☆13Feb 22, 2023Updated 3 years ago
- ☆18Jan 31, 2024Updated 2 years ago
- A `Send` version of `Iterator::chunks`☆20Feb 22, 2026Updated last week
- An online logical query rewrite demo (schema+sql only)!☆41Jul 25, 2023Updated 2 years ago
- ☆43Nov 1, 2022Updated 3 years ago
- A memcomparable serialization format.☆24May 16, 2023Updated 2 years ago
- A WIP Float32 soft FPU implementation☆22Jun 25, 2021Updated 4 years ago
- Build database expression type checker and vectorized runtime executor in type-safe Rust☆99Jul 8, 2022Updated 3 years ago
- Pretty printing library for SQL☆24Jun 24, 2023Updated 2 years ago
- A lightweight profiler to detect and categorize root causes of synchronization related performance issues in multithreaded programs☆21Jun 5, 2017Updated 8 years ago
- opensrv for databend☆72Jan 25, 2026Updated last month
- ☆32Jan 15, 2026Updated last month
- Fast and efficient file system metadata through LSM-tree☆30Sep 22, 2022Updated 3 years ago
- The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing☆22May 20, 2022Updated 3 years ago
- Join Order Benchmark (JOB)☆348Feb 16, 2025Updated last year
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆145Jul 12, 2023Updated 2 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Jun 10, 2023Updated 2 years ago
- // clone this repo with --depth=1 to save disk size // toolchain compatible with Ubuntu 20.04+ //☆15Apr 28, 2022Updated 3 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆31Jan 6, 2026Updated last month
- The Llunatic Mapping and Cleaning Chase Engine☆37Jan 12, 2024Updated 2 years ago
- GoNative project: formal machines models in Coq☆36Aug 3, 2017Updated 8 years ago
- go-sqlancer☆78Sep 15, 2020Updated 5 years ago
- Another OLAP database☆321Dec 11, 2021Updated 4 years ago
- A Configuration Library for Rust Applications☆52Updated this week
- A CLI tool to parse RPG Maker games' text to .txt and back.☆15Jan 5, 2026Updated last month