PierreSenellart / provsql
Adding support for provenance and uncertainty management to PostgreSQL databases
☆45Updated last month
Related projects ⓘ
Alternatives and complementary repositories for provsql
- Benchmarking the Chase☆9Updated 7 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆36Updated 10 months ago
- Layered Multiple Functional Aggregate Optimization☆18Updated 4 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- ☆42Updated last year
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago
- Datalog + Egg = Good☆65Updated last year
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- ☆13Updated 3 years ago
- Prolog, Datalog, languages, resources, and beyond!☆22Updated 3 weeks ago
- ☆75Updated 2 years ago
- ☆19Updated 2 years ago
- Program logic for developing and verifying distributed systems☆33Updated this week
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆29Updated last month
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- Tool for automatically inferring inductive invariants of distributed protocols.☆13Updated last month
- Two-Level Type Theory☆27Updated 4 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 3 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 3 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆11Updated 3 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 last year
- ☆21Updated 2 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- First-order automated theorem prover based on the tableau method☆12Updated last week
- ☆15Updated 3 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆34Updated last month
- Cleaning other people's dirty data.☆52Updated 3 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆15Updated last year
- Wings workflow system☆48Updated 3 months ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago