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
  ☆36Updated last month
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆37Updated 2 years ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆80Updated 2 years ago
• skyzh / optimizer-lessons
  Code for "Lessons Learned from Building a Query Optimizer" blog series
  ☆47Updated 4 months ago
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆23Updated 2 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• sfu-dis / skeena
  Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)
  ☆21Updated 2 years ago
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• datafusion-contrib / tpctools
  Tools for generating TPC-* datasets
  ☆29Updated last year
• cmu-db / pgextmgrext
  A Postgres Extension to Manage Extensions! (As well as some random stuff)
  ☆14Updated 2 years ago
• risinglightdb / pretty-xmlish
  Pretty printing library for SQL
  ☆24Updated 2 years ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 2 years ago
• skyzh / pg_poop
  A Postgres extension that rewrites strings to 💩
  ☆21Updated 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…
  ☆140Updated 3 years ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated 11 months ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆41Updated last week
• sfu-dis / mosaicdb
  The Art of Latency Hiding in Modern Database Engines (VLDB 2024)
  ☆59Updated 2 months ago
• cmu-db / optd
  Query Optimizer Service
  ☆65Updated 3 weeks ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆82Updated last year
• tuhhosg / exmap
  ☆47Updated last year
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated 2 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆60Updated last month
• wyfunique / DBSim
  The codebase for DBSim
  ☆15Updated 2 years ago
• datafusion-contrib / datafusion-dolomite
  Experimental DataFusion Optimizer
  ☆47Updated 2 years ago
• NeowayLabs / bplustree
  Concurrent in-memory B+ Tree featuring optimistic lock coupling
  ☆24Updated 2 years ago
• viktorleis / mmapbench
  ☆136Updated 2 years ago
• tum-db / TardisDB
  A code-generating database system with incorporated versioning commands in SQL.
  ☆13Updated 4 years ago
• datenlord / lockfree-cuckoohash
  A rust implementation of lock free cuckoo hashmap
  ☆68Updated 4 months ago
• sfu-dis / preemptdb
  Low-Latency Transaction Scheduling via Userspace Interrupts: Why Wait or Yield When You Can Preempt? (SIGMOD 2025 Best Paper Award)
  ☆56Updated last month
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆46Updated 8 months ago