PierreSenellart / provsqlLinks
Adding support for provenance and uncertainty management to PostgreSQL databases
☆51Updated last week
Alternatives and similar repositories for provsql
Users that are interested in provsql are comparing it to the libraries listed below
Sorting:
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- ☆82Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- ☆83Updated 10 months ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last week
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Datalog with support for SMT queries and first-order functional programming☆162Updated last week
- λ² is a tool for synthesizing functional programs from input-output examples.☆70Updated 2 years ago
- ☆55Updated 4 months 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 …☆47Updated 2 years ago
- Slog 1.0☆43Updated last year
- CN separation logic refinement type system for C☆34Updated 2 weeks ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated this week
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆78Updated 2 weeks ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 10 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- A TLA+ module for animating TLC traces.☆46Updated 9 months ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated last month
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 3 years ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆138Updated last week
- ☆153Updated last week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆96Updated last month
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- CertiCrypt Coq Framework☆35Updated 9 years ago