Tool for checking whether two SQL queries are equivalent
☆35May 9, 2023Updated 2 years ago
Alternatives and similar repositories for spes
Users that are interested in spes are comparing it to the libraries listed below
Sorting:
- An online logical query rewrite demo (schema+sql only)!☆41Jul 25, 2023Updated 2 years ago
- An automated prover that verifies the equivalence of SQL queries☆62Nov 22, 2025Updated 3 months ago
- A sphinx-doc extension that allows you to write LaTeX algorithm directly inside sphinx-doc☆10May 1, 2022Updated 3 years ago
- scripts for testing TiDB☆10Feb 4, 2026Updated last month
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated last year
- Notes of CMU 15-721☆14Jun 30, 2021Updated 4 years ago
- A set of tools to analyze query workloads☆13Apr 13, 2017Updated 8 years ago
- A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.☆69Sep 21, 2025Updated 5 months ago
- ☆16Feb 25, 2026Updated last week
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- A simple SQL parser based on Apache Calcite.☆13Jan 17, 2026Updated last month
- Java Ranger is a path-merging extension of Symbolic PathFinder☆15Jan 24, 2026Updated last month
- ☆18Jan 31, 2024Updated 2 years ago
- ☆20Nov 18, 2023Updated 2 years ago
- A new CardEst Benchmark to Bridge AI and DBMS☆134Mar 14, 2023Updated 2 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 4 years ago
- Join Order Benchmark (JOB)☆348Feb 16, 2025Updated last year
- ☆52Nov 26, 2024Updated last year
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆21Feb 9, 2023Updated 3 years ago
- PostgreSQL extension which allows to translate a given source SQL statement into another pre-defined SQL statement.☆24Sep 25, 2025Updated 5 months ago
- MySQL 8.0.25 (InnoDB) 中文注释☆25Jul 31, 2025Updated 7 months ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Aug 11, 2020Updated 5 years ago
- This is a repository for the NYU Tisch / Game Center courses GAME DEVELOPMENT: TEAM STUDIO (GAMES-UT 122-001) and GAME DEVELOPMENT STUDIO…☆11Apr 28, 2015Updated 10 years ago
- go-sqlancer☆78Sep 15, 2020Updated 5 years ago
- ☆38May 22, 2025Updated 9 months ago
- LSM tree implementation based on standard B-Tree☆31Dec 15, 2022Updated 3 years ago
- ☆34Sep 19, 2023Updated 2 years ago
- ☆39Jul 6, 2023Updated 2 years ago
- ☆11Nov 8, 2019Updated 6 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- PostgreSQL code dump from SQL Queries For Mere Mortals 4th Ed☆14Apr 21, 2019Updated 6 years ago
- ☆12Apr 24, 2023Updated 2 years ago
- Well optimised threading safe database engine could be used to build pretty well performed databases on top of it☆10Apr 7, 2022Updated 3 years ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 10 years ago
- WizCanvas allows a developer to create a ultra-performant native canvas component. The view is based on the Ejecta framework and has WebG…☆43Mar 2, 2015Updated 11 years ago
- ai4db and db4ai work☆818Dec 26, 2024Updated last year
- ☆44Apr 28, 2020Updated 5 years ago
- Some tiny exercises for system design.☆37Jun 11, 2017Updated 8 years ago
- Documentation☆45Nov 2, 2025Updated 4 months ago