PierreSenellart / provsqlLinks
Adding support for provenance and uncertainty management to PostgreSQL databases
☆52Updated 2 weeks 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
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- ☆87Updated last year
- ☆87Updated 3 years ago
- CN separation logic refinement type system for C☆43Updated this week
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- An experiment in using DuckDB for a datalog / egg☆28Updated 2 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 …☆48Updated 2 years ago
- Symbolic formula representation and solver interaction library☆171Updated last week
- CertiCrypt Coq Framework☆37Updated 9 years ago
- Slog 1.0☆46Updated last year
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Updated last year
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 8 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆21Updated 4 years ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 3 months ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last month
- vertical + gpu + free join + datalog☆21Updated 10 months ago
- Compositional Verification of Security Protocols☆30Updated last week
- LVC verified compiler☆60Updated 7 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 4 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 2 months ago
- Core components for the Scribble Java tools☆58Updated last year
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated last week
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆101Updated 3 weeks ago
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- Logically Qualified Data Types - automatically infer refinement types☆16Updated 4 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago