Alternatives and similar repositories for prover:

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

• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated last year
• scuptio / sedeve-kit
  In Spec We Trust
  ☆34Updated 3 months ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆77Updated 2 years ago
• skyzh / optimizer-lessons
  Code for "Lessons Learned from Building a Query Optimizer" blog series
  ☆42Updated last month
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆23Updated last year
• SJTU-IPADS / SQLSolver
  An automated prover that verifies the equivalence of SQL queries
  ☆36Updated 7 months ago
• datafusion-contrib / tpctools
  Tools for generating TPC-* datasets
  ☆28Updated 9 months ago
• cmu-db / pgextmgrext
  A Postgres Extension to Manage Extensions! (As well as some random stuff)
  ☆15Updated last year
• skyzh / pg_poop
  A Postgres extension that rewrites strings to 💩
  ☆21Updated last year
• sfu-dis / preemptdb
  Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025)
  ☆41Updated 2 months ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆81Updated last year
• sfu-dis / mosaicdb
  The Art of Latency Hiding in Modern Database Engines (VLDB 2024)
  ☆55Updated 5 months ago
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• VeriEQL / VeriEQL
  ☆11Updated last month
• cmu-db / optd
  Query Optimizer Service
  ☆34Updated this week
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆55Updated last month
• BinyuHuang-nju / zab-tla
  Specifying and Verfying Zab using TLA+
  ☆10Updated 3 years ago
• risinglightdb / pretty-xmlish
  Pretty printing library for SQL
  ☆24Updated last year
• SJTU-IPADS / vegito
  ☆52Updated last year
• delftdata / stateflow
  Prototype which extracts stateful dataflows by analysing Python code.
  ☆20Updated 2 years ago
• rabbit721 / QPPNet
  ☆37Updated last year
• 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
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆29Updated 3 weeks ago
• fzqneo / ByteSlice
  "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)
  ☆25Updated 6 years ago
• wyfunique / DBSim
  The codebase for DBSim
  ☆15Updated 2 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆65Updated last week
• sfu-dis / skeena
  Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)
  ☆20Updated last year
• microsoft / SQL-ProcBench
  SQL-ProcBench is an open benchmark for procedural workloads in RDBMSs.
  ☆45Updated 3 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago