A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
☆80Sep 21, 2025Updated 9 months ago
Alternatives and similar repositories for prover
Users that are interested in prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Mar 26, 2026Updated 3 months ago
- ☆17Jun 12, 2026Updated 2 weeks ago
- Tool for checking whether two SQL queries are equivalent☆35May 9, 2023Updated 3 years ago
- An automated prover that verifies the equivalence of SQL queries☆67Nov 22, 2025Updated 7 months ago
- Language Models as Multi-Modal Query Planners☆20Mar 20, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Spatialyze: A Geospatial Video Analytic System with Spatial-Aware Optimizations☆12Mar 3, 2025Updated last year
- Experimental DataFusion Optimizer☆52Jun 9, 2023Updated 3 years ago
- The codebase for DBSim☆16Mar 8, 2023Updated 3 years ago
- An online logical query rewrite demo (schema+sql only)!☆40Jul 25, 2023Updated 2 years ago
- A bridge between different serde implementations.☆16Sep 8, 2025Updated 9 months ago
- A memcomparable serialization format.☆23May 16, 2023Updated 3 years ago
- ☆31Jun 1, 2023Updated 3 years ago
- demo program for POC☆16Mar 21, 2023Updated 3 years ago
- compiling DSLs to high-level hardware instructions☆23Nov 8, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Automated testing for XML XPath execution☆18Jan 5, 2024Updated 2 years ago
- ☆13Feb 22, 2023Updated 3 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Jun 10, 2023Updated 3 years ago
- ☆45Nov 1, 2022Updated 3 years ago
- ☆22Dec 11, 2024Updated last year
- ☆48Jun 27, 2024Updated 2 years ago
- Implements the [TPCH benchmark](http://www.tpc.org/tpch/) for Postgres☆30Apr 11, 2022Updated 4 years ago
- SQL Benchmark derived from TPC-DS☆15May 20, 2023Updated 3 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An automatic test pipeline for distributed systems.☆17Aug 3, 2021Updated 4 years 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
- Benchmarks to read parquet to arrow☆11Dec 25, 2022Updated 3 years ago
- ☆13Mar 2, 2018Updated 8 years ago
- Generate GitHub Actions matrix on the fly based on your constraints☆12Jun 24, 2026Updated last week
- Pretty printing library for SQL☆24Jun 24, 2023Updated 3 years ago
- A `Send` version of `Iterator::chunks`☆20Feb 22, 2026Updated 4 months ago
- Build database expression type checker and vectorized runtime executor in type-safe Rust☆100Jul 8, 2022Updated 3 years ago
- Join Order Benchmark (JOB)☆362Feb 16, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆33Jun 11, 2026Updated 2 weeks ago
- ☆34May 16, 2023Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆147Jul 12, 2023Updated 2 years ago
- ☆28Jun 3, 2018Updated 8 years ago
- JAX Scalify: end-to-end scaled arithmetics☆18Oct 30, 2024Updated last year
- Sqllogictest parser and runner in Rust, with extensions.☆228Feb 14, 2026Updated 4 months ago