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
  ☆37Updated 2 months ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆36Updated 2 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆62Updated 4 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆75Updated 2 weeks ago
• cmu-db / optd
  Query Optimizer Service
  ☆83Updated 3 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆86Updated last year
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆12Updated 2 months ago
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆23Updated 2 years ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆47Updated 10 months ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆81Updated 2 years ago
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆271Updated this week
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• viktorleis / mmapbench
  ☆141Updated 3 years ago
• XiangpengHao / congee
  Concurrent ART (adaptive radix tree)
  ☆168Updated last week
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆26Updated last year
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated last year
• tum-db / TardisDB
  A code-generating database system with incorporated versioning commands in SQL.
  ☆13Updated 4 years ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆242Updated 2 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated last year
• viktorleis / vmcache
  ☆72Updated this week
• sfu-dis / mosaicdb
  The Art of Latency Hiding in Modern Database Engines (VLDB 2024)
  ☆60Updated 4 months ago
• SJTU-IPADS / vegito
  ☆53Updated 2 years ago
• datafusion-contrib / tpctools
  Tools for generating TPC-* datasets
  ☆30Updated last year
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆198Updated last year
• SJTU-IPADS / SQLSolver
  An automated prover that verifies the equivalence of SQL queries
  ☆46Updated last month
• VeriEQL / VeriEQL
  ☆15Updated 2 weeks ago
• nano-o / MultiPaxos
  MultiPaxos and Disk Paxos in TLA+ and PlusCal
  ☆13Updated 2 years ago
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆18Updated last week