PierreSenellart / provsqlLinks
Adding support for provenance and uncertainty management to PostgreSQL databases
☆52Updated 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
- Datalog + Egg = Good☆66Updated 2 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 8 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Updated last year
- ☆87Updated last year
- ☆85Updated 3 years ago
- ☆29Updated 10 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 12 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆36Updated last year
- ☆16Updated last year
- CertiCrypt Coq Framework☆37Updated 9 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆32Updated 2 months ago
- Shaking expression trees until something tasty pops out☆17Updated 7 years ago
- CN separation logic refinement type system for C☆41Updated this week
- Symbolic formula representation and solver interaction library☆171Updated last week
- An algebra system written in OCaml☆10Updated 10 years ago
- LVC verified compiler☆58Updated 7 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Updated 6 years ago
- Bolts: Stainless Verified Scala Examples☆26Updated last week
- 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
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated last month
- The Brown Benchmark for Table Types (B2T2)☆64Updated 4 months ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- ☆56Updated 7 months ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆21Updated 4 years ago
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago