Alternatives and similar repositories for sqlacidtest

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

• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆86Updated 2 years ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated 2 years ago
• sslab-gatech / apollo
  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
  ☆72Updated 5 years ago
• hydromatic / sql-logic-test
  sql-logic-test
  ☆68Updated 2 years ago
• pdm-book / community
  ☆87Updated 3 years ago
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆285Updated last week
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆265Updated last week
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆112Updated last month
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆66Updated 3 months ago
• substrait-io / duckdb-substrait-extension
  ☆53Updated last week
• umbra-db / contest-sigmod2025
  SIGMOD Contest 2025 Winning Solution
  ☆52Updated 2 weeks ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated last year
• SamArch27 / PRISM
  PRISM is a UDF optimization framework that deconstructs a UDF into separate inlinable and outlinable pieces, resulting in simpler queries…
  ☆18Updated 4 months ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆65Updated 3 years ago
• microsoft / SQL-ProcBench
  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.
  ☆48Updated 4 years ago
• cwida / duckdb-pgq
  DuckDB is an in-process SQL OLAP Database Management System
  ☆47Updated 2 weeks ago
• amazon-science / redset
  Redset is a dataset containing three months worth of user query metadata that ran on a selected sample of instances in the Amazon Redshif…
  ☆64Updated last year
• jonamuen / sql-reduce
  A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener
  ☆16Updated last year
• 17zhangw / protox
  Proto-X VLDB 2024.
  ☆20Updated this week
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆30Updated 3 months ago
• VeriEQL / VeriEQL
  ☆18Updated 2 weeks ago
• vmware-archive / sql-to-dbsp-compiler
  Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
  ☆30Updated 2 years ago
• cmu-db / optd-dsl
  Query Optimizer Service
  ☆94Updated 6 months ago
• DBOS-project / apiary
  Transactional functions-as-a-service for database-oriented applications.
  ☆156Updated 2 years ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆85Updated 11 months ago
• elliotchance / sqltest
  📝 A comprehensive suite of SQL tests for testing the conformance of databases.
  ☆53Updated last year
• cwida / public_bi_benchmark
  BI benchmark with user generated data and queries
  ☆72Updated last year
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆24Updated 2 years ago
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆45Updated 5 months ago
• maxi-k / btrblocks
  BtrBlocks: Efficient Columnar Compression for Data Lakes (SIGMOD 2023 Paper)
  ☆273Updated 8 months ago