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:
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 11 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- 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
- ☆29Updated 9 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- ☆55Updated 3 months ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated 2 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated last year
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆89Updated 6 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- ☆83Updated 10 months ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- CHR2 to SQL conversion☆14Updated 9 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆19Updated 10 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆70Updated 2 years ago
- Symbolic formula representation and solver interaction library☆166Updated last week
- Formally verified operator language and rewriting engine for high-performance computing☆29Updated last year
- Core components for the Scribble Java tools☆56Updated 10 months ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- generative programming & verification☆33Updated 2 months ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last month
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 3 years ago
- A model checker for relational first-order temporal specifications☆27Updated 4 years ago
- Bolts: Stainless Verified Scala Examples☆23Updated last month
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 12 years ago
- LVC verified compiler☆57Updated 6 years ago
- An algebra system written in OCaml☆10Updated 9 years ago