Alternatives and similar repositories for spes:

Users that are interested in spes are comparing it to the libraries listed below

• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆48Updated 10 months ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 5 months ago
• SJTU-IPADS / SQLSolver
  An automated prover that verifies the equivalence of SQL queries
  ☆37Updated 8 months ago
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆34Updated 2 weeks ago
• rabbit721 / QPPNet
  ☆37Updated last year
• microsoft / SQL-ProcBench
  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.
  ☆45Updated 3 years ago
• IntelLabs / Auto-Steer
  Auto-Steer
  ☆45Updated 4 months ago
• RyanMarcus / imdb_pg_dataset
  A Vagrant box that automatically loads the IMDB dataset into Postgres
  ☆69Updated last year
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆81Updated last year
• itrummer / dbbert
  DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.
  ☆57Updated last year
• sslab-gatech / apollo
  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
  ☆71Updated 4 years ago
• balsa-project / balsa
  Balsa is a learned SQL query optimizer. It tailor optimizes your SQL queries to find the best execution plans for your hardware and engin…
  ☆139Updated 2 years ago
• t1mm3 / vldb_voila
  Query engine synthesizer based on, our domain-specific language, VOILA
  ☆13Updated 4 years ago
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆23Updated 2 years ago
• ISG-ICS / QueryBooster
  ☆16Updated this week
• learnedsystems / CEB
  Cardinality Estimation Benchmark
  ☆78Updated last year
• tum-db / TardisDB
  A code-generating database system with incorporated versioning commands in SQL.
  ☆13Updated 4 years ago
• tum-db / user-defined-operators
  Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"
  ☆23Updated last year
• microsoft / dsb
  The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…
  ☆53Updated 5 months ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆102Updated 3 weeks ago
• graphflow / graphflow-columnar-techniques
  ☆24Updated 3 years ago
• DBCobra / CobraHome
  ☆11Updated 4 years ago
• learnedsystems / BaoForPostgreSQL
  A prototype implementation of Bao for PostgreSQL
  ☆195Updated 6 months ago
• embryo-labs / Robust-Predicate-Transfer
  [SIGMOD'25] Source code for the paper: Debunking the Myth of Join Ordering: Toward Robust SQL Analytics
  ☆12Updated 3 weeks ago
• jinw18 / Readings_MLDB
  Paper list about adopting machine learning techniques into data management tasks.
  ☆37Updated 4 years ago
• cloud-olap / FlexPushdownDB
  ☆72Updated 2 weeks ago
• VeriEQL / VeriEQL
  ☆11Updated 2 months ago
• pixelsdb / pixels
  An efficient storage and compute engine for both on-prem and cloud-native data analytics.
  ☆143Updated last week
• XuanheZhou / LearnedRewrite
  An online logical query rewrite demo (schema+sql only)!
  ☆37Updated last year