Alternatives and similar repositories for provsql

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

• pdm-book / community
  ☆77Updated 2 years ago
• mwhittaker / linearizability
  Linearizability Visualizer
  ☆10Updated 10 years ago
• gbagan / gmark
  ☆43Updated 2 years ago
• rocq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• dbunibas / chasebench
  Benchmarking the Chase
  ☆9Updated 7 years ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated 11 months ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated last year
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆93Updated 2 weeks ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 8 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year
• pbailis / bolton-sigmod2013-code
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Updated 11 years ago
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago
• harp-lab / gdlog
  ☆82Updated 8 months ago
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 3 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆32Updated 4 years ago
• ashkapsky / BigDatalog
  ☆57Updated 2 years ago
• zhuang29 / graph_database_benchmark
  ☆14Updated 6 years ago
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆18Updated 8 months ago
• TiarkRompf / lms-clean
  ☆55Updated 2 months ago
• alviano / wasp
  ☆22Updated 7 months ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 8 months ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• fdbresearch / LMFAO
  Layered Multiple Functional Aggregate Optimization
  ☆18Updated 4 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆46Updated 6 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated last year