Alternatives and similar repositories for provsql:

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

• dbunibas / chasebench
  Benchmarking the Chase
  ☆9Updated 7 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆56Updated 6 months ago
• fdbresearch / LMFAO
  Layered Multiple Functional Aggregate Optimization
  ☆18Updated 4 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• gbagan / gmark
  ☆42Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 7 months ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• graindb / graindb
  ☆19Updated 3 years ago
• TiarkRompf / lms-clean
  ☆54Updated last year
• HazyResearch / EmptyHeaded
  Your worst case is our best case.
  ☆139Updated 7 years ago
• szarnyasg / graph-data-management
  ☆42Updated last week
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated 4 months ago
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year
• pdm-book / community
  ☆75Updated 2 years ago
• ekzhu / josie
  Code and Benchmarks for JOSIE (SIGMOD 2019)
  ☆18Updated last year
• 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 last year
• coq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• ParAlg / CPAM
  CPAM: Compressed Parallel Augmented Maps
  ☆23Updated 3 months ago
• Mestway / Scythe
  Synthesizing SQL queries from input / output examples
  ☆45Updated 4 years ago
• mm-adt / vm
  The mm-ADT Virtual Machine
  ☆34Updated 4 years ago
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 3 years ago
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago
• delftdata / stateflow
  Prototype which extracts stateful dataflows by analysing Python code.
  ☆20Updated 2 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
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆24Updated 7 months ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆37Updated 5 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆28Updated 2 months ago
• harp-lab / gdlog
  ☆79Updated 2 months ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago