Alternatives and similar repositories for provsql:

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

• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 10 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• pdm-book / community
  ☆76Updated 2 years ago
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• brurucy / materialized-view
  ☆14Updated 8 months ago
• idaks / PW-explorer
  ☆16Updated 3 years ago
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆47Updated 9 months ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆57Updated 8 months ago
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆49Updated 2 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• TiarkRompf / lms-clean
  ☆55Updated last year
• harp-lab / gdlog
  ☆80Updated 5 months ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated 6 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 5 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• dbunibas / chasebench
  Benchmarking the Chase
  ☆9Updated 7 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• logsem / aneris
  Program logic for developing and verifying distributed systems
  ☆33Updated this week
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆14Updated 5 months ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 10 months ago
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 3 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…
  ☆23Updated 2 weeks ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆21Updated 2 months ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago