Alternatives and similar repositories for spes:

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

• SJTU-IPADS / SQLSolver
  An automated prover that verifies the equivalence of SQL queries
  ☆37Updated 9 months ago
• rabbit721 / QPPNet
  ☆37Updated last year
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆48Updated 11 months ago
• sslab-gatech / apollo
  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
  ☆71Updated 4 years ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 6 months ago
• IntelLabs / Auto-Steer
  Auto-Steer
  ☆47Updated 5 months ago
• microsoft / SQL-ProcBench
  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.
  ☆45Updated 3 years ago
• RyanMarcus / imdb_pg_dataset
  A Vagrant box that automatically loads the IMDB dataset into Postgres
  ☆69Updated last year
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated 10 months ago
• VeriEQL / VeriEQL
  ☆11Updated 2 months ago
• UWHustle / HATtrick
  ☆30Updated 2 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
• itrummer / dbbert
  DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.
  ☆59Updated last year
• learnedsystems / CEB
  Cardinality Estimation Benchmark
  ☆78Updated last year
• jinw18 / Readings_MLDB
  Paper list about adopting machine learning techniques into data management tasks.
  ☆37Updated 4 years ago
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆23Updated 2 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆35Updated last month
• microsoft / dsb
  The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…
  ☆53Updated 6 months ago
• ISG-ICS / QueryBooster
  ☆16Updated last week
• XuanheZhou / LearnedRewrite
  An online logical query rewrite demo (schema+sql only)!
  ☆38Updated last year
• t1mm3 / vldb_voila
  Query engine synthesizer based on, our domain-specific language, VOILA
  ☆13Updated 4 years ago
• learnedsystems / BaoForPostgreSQL
  A prototype implementation of Bao for PostgreSQL
  ☆197Updated 7 months ago
• wagjamin / inkfuse
  InkFuse - An Experimental Database Runtime Unifying Vectorized and Compiled Query Execution.
  ☆47Updated 11 months ago
• DBCobra / CobraHome
  ☆11Updated 4 years ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆81Updated last year
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• RyanMarcus / TreeConvolution
  PyTorch implementation of binary tree convolution
  ☆49Updated 5 years ago
• CSLiuPeng / NewHardwareDB-PaperList
  This is a paper list for new hardware database systems especially for gpu.
  ☆17Updated 11 months ago
• UWQuickstep / quickstep
  Quickstep project
  ☆42Updated 6 months ago
• Nathaniel-Han / End-to-End-CardEst-Benchmark
  A new CardEst Benchmark to Bridge AI and DBMS
  ☆122Updated 2 years ago