PierreSenellart / provsqlLinks
Adding support for provenance and uncertainty management to PostgreSQL databases
☆50Updated last week
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
- ☆78Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- ☆82Updated 8 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 2 weeks ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- A model checker for relational first-order temporal specifications☆27Updated 4 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 3 weeks ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Slog 1.0☆43Updated last year
- Language bindings for Maude☆23Updated 6 months ago
- Program logic for developing and verifying distributed systems☆34Updated this week
- CertiCrypt Coq Framework☆35Updated 9 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- First-order automated theorem prover based on the tableau method☆16Updated 7 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Updated last week
- Tool for suggesting lemma names in Coq verification projects☆20Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆76Updated 2 months ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆25Updated 5 months ago
- Rust library for program synthesis of string transformations from input-output examples 🔮☆27Updated 5 months ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- ☆13Updated 3 years ago