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 2 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆42Updated 7 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆13Updated 6 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆65Updated 8 months ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆86Updated 2 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆28Updated last year
• SJTU-IPADS / SQLSolver
  An automated prover that verifies the equivalence of SQL queries
  ☆61Updated 2 months ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆13Updated 5 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆83Updated last week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆150Updated 7 months ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆87Updated 2 years ago
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆24Updated 2 years ago
• cmu-db / optd-dsl
  Query Optimizer Service
  ☆94Updated 8 months ago
• sqlstandardsproject / sqlacidtest
  The SQL Standards Project aims to create consensus in SQL semantics
  ☆48Updated last year
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆12Updated 2 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆212Updated 5 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated 2 years ago
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆215Updated this week
• lingo-db / lingo-db
  LingoDB: A new analytical database system that blurs the lines between databases and compilers.
  ☆295Updated this week
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆205Updated last year
• VeriEQL / VeriEQL
  ☆20Updated last month
• Lingzhi-Ouyang / Remix
  ☆13Updated 9 months 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…
  ☆21Updated this week
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆58Updated last year
• tum-db / TardisDB
  A code-generating database system with incorporated versioning commands in SQL.
  ☆13Updated 5 years ago
• viktorleis / mmapbench
  ☆148Updated 3 years ago
• umbra-db / diamond-vldb2024
  Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"
  ☆12Updated last year