Alternatives and similar repositories for SQLSolver:

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

• scuptio / sedeve-kit
  In Spec We Trust
  ☆32Updated last month
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 9 months ago
• tidb-incubator / vldbss-2021
  ☆22Updated 3 years ago
• CASP-Systems-BU / Gadget
  A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores
  ☆17Updated 9 months ago
• CloudOLTP / Cornus
  ☆21Updated 2 years ago
• qaqcatz / impomysql
  Detecting Logic Bugs in MySQL through Implication Oracle
  ☆15Updated 11 months ago
• VeriEQL / VeriEQL
  ☆10Updated 4 months ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated last year
• chenhao-ye / polaris
  Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”
  ☆24Updated last year
• SJTU-IPADS / vegito
  ☆52Updated last year
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆46Updated 7 months ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• derFischer / Polyjuice
  ☆34Updated 2 years ago
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆36Updated 2 months ago
• luyi0619 / aria
  GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
  ☆72Updated 9 months ago
• zxjcarrot / spitfire
  Source code for Spitfire: A Three-Tier Buffer Manager for Volatile and Non-Volatile Memory
  ☆38Updated 2 years ago
• yxymit / Sundial
  Sundial: A distributed OLTP database testbed.
  ☆37Updated 4 years ago
• sslab-gatech / apollo
  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
  ☆71Updated 4 years ago
• fzhedu / db-imv
  Reducing the cache misses of SIMD vectorization using IMV
  ☆27Updated 2 years ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆98Updated 2 weeks ago
• vldbss-2022 / vldbss2022
  ☆29Updated 2 years ago
• learnedsystems / CEB
  Cardinality Estimation Benchmark
  ☆73Updated last year
• DBHammer / PaperDiscussion
  本仓库维护DBHammer实验室的讨论班记录
  ☆11Updated last month
• asu-idi / CaaS-LSM
  [SIGMOD '24] CaaS-LSM: Compaction-as-a-Service for LSM-based Key-Value Stores in Storage Disaggregated Infrastructure
  ☆61Updated 6 months ago
• cloud-olap / FlexPushdownDB
  ☆70Updated 6 months ago
• dmemsys / FUSEE
  This is the implementation repository of our FAST'23 paper: FUSEE: A Fully Memory-Disaggregated Key-Value Store.
  ☆54Updated last year
• zhouxh19 / LearnedRewrite
  An online logical query rewrite demo (schema+sql only)!
  ☆36Updated last year
• Wind-Gone / awesome-ai4db-paper
  Paper related to AI4DB techniques
  ☆53Updated 2 weeks ago
• microsoft / dsb
  The DSB benchmark is designed for evaluating both workloaddriven and traditional database systems on modern decision support workloads. D…
  ☆51Updated 2 months ago