PierreSenellart / provsqlLinks
Adding support for provenance and uncertainty management to PostgreSQL databases
☆53Updated 2 months ago
Alternatives and similar repositories for provsql
Users that are interested in provsql are comparing it to the libraries listed below
Sorting:
- Datalog + Egg = Good☆66Updated 2 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 12 years ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 4 years ago
- Compilation and Verification of Data-Centric Languages☆57Updated last year
- CHR2 to SQL conversion☆15Updated 10 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 5 years ago
- ☆87Updated last year
- This is the official repo for the paper "A General Framework for Dynamic Succinct and Compressed Data Structures."☆13Updated 9 years ago
- 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 3 years ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 4 months ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Updated 6 years ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- RTEC is an Event Calculus implementation optimised for stream reasoning☆100Updated 2 months ago
- A book about datalog☆12Updated 3 years ago
- The mm-ADT Virtual Machine☆35Updated 5 years ago
- ☆89Updated 3 years ago
- Slog 1.0☆46Updated last year
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last week
- Alloy*---Higher Order Logic for Alloy☆36Updated 6 years ago
- ☆29Updated 10 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 3 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated 2 years ago
- Two-Level Type Theory☆28Updated 6 years ago
- The Brown Benchmark for Table Types (B2T2)☆67Updated 6 months ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 3 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated 2 years ago