Alternatives and similar repositories for prover:

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

• scuptio / sedeve-kit
  In Spec We Trust
  ☆32Updated 2 months ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated last year
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆76Updated 2 years ago
• sfu-dis / mosaicdb
  The Art of Latency Hiding in Modern Database Engines (VLDB 2024)
  ☆52Updated 4 months ago
• 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
  ☆33Updated 6 months ago
• sfu-dis / preemptdb
  Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025)
  ☆42Updated last month
• datafusion-contrib / tpctools
  Tools for generating TPC-* datasets
  ☆26Updated 7 months ago
• stonysystems / depfast-ae
  ☆18Updated last month
• CloudOLTP / Cornus
  ☆21Updated 2 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 9 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆54Updated last week
• openebs-archive / spdk-sys
  Rust bindings for SPDK
  ☆12Updated 4 years ago
• SJTU-IPADS / vegito
  ☆52Updated last year
• sfu-dis / skeena
  Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)
  ☆16Updated last year
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• wagjamin / inkfuse
  InkFuse - An Experimental Database Runtime Unifying Vectorized and Compiled Query Execution.
  ☆43Updated 9 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆78Updated last year
• sfu-dis / bztree
  An open-source BzTree implementation
  ☆91Updated 3 years ago
• skyzh / pg_poop
  A Postgres extension that rewrites strings to 💩
  ☆21Updated last year
• purduedb / OpenAurora
  OpenAurora is a cloud-native database system prototype developed at Purdue University. It is an open-source version of Amazon Aurora. It …
  ☆80Updated last week
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆61Updated 2 years ago
• tum-db / TardisDB
  A code-generating database system with incorporated versioning commands in SQL.
  ☆14Updated 4 years ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 2 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆45Updated 4 months ago
• mutable-org / mutable
  A Database System for Research and Fast Prototyping
  ☆102Updated last month
• viktorleis / vmcache
  ☆62Updated 10 months ago
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆29Updated 2 years ago