Adding support for provenance and uncertainty management to PostgreSQL databases
β56Apr 4, 2026Updated last week
Alternatives and similar repositories for provsql
Users that are interested in provsql are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π Convert HTML markdown into miso View syntaxβ14Mar 31, 2026Updated last week
- RPC/XDR protocol compiler (from jungerl)β14Oct 4, 2019Updated 6 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at applβ¦β10Feb 14, 2024Updated 2 years ago
- β15Jun 14, 2022Updated 3 years ago
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systemsβ23Aug 18, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Take notes from you terminal.β14Jul 4, 2022Updated 3 years ago
- LAGr: Label Aligned Graphs for Better Systematic Generalization in Semantic Parsingβ10Jun 1, 2022Updated 3 years ago
- Code from the Functional Scala Conference talk: Type inference for plain-text SQLβ10Dec 5, 2024Updated last year
- Useful, efficient, precise binary schema modelling in Haskellβ16Aug 18, 2025Updated 7 months ago
- A library for writing chemical and biological data management systemsβ10Oct 24, 2019Updated 6 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networksβ12Nov 11, 2020Updated 5 years ago
- Reification of data structures using observable sharingβ30Oct 27, 2024Updated last year
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.β14Aug 6, 2021Updated 4 years ago
- A semi-automated system based on LLM's to generate ontologies from datasetsβ25Oct 29, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI β’ AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Haskell implementation of the tiger compilerβ10May 2, 2020Updated 5 years ago
- generate GitHub/Gitea actions using nixβ43Mar 13, 2026Updated 3 weeks ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collectionsβ15Feb 22, 2018Updated 8 years ago
- β22Apr 2, 2026Updated last week
- β16Aug 30, 2025Updated 7 months ago
- Label dependent dependent session typesβ16May 2, 2024Updated last year
- Like a cell, but make lifetimes dynamic instead of ownershipβ21Jul 14, 2022Updated 3 years ago
- Type-safe implementation of Tensor Data Model in Scala.β19Jul 30, 2023Updated 2 years ago
- A framework for testing compilers' type checkersβ19Mar 17, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- berlin windowing system -- historical snapshotβ14Dec 31, 2023Updated 2 years ago
- Concurrency library inspired by Erlang/OTPβ19May 9, 2025Updated 11 months ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)β17Apr 22, 2024Updated last year
- Distributed Protocol Combinatorsβ14Apr 11, 2021Updated 5 years ago
- Semi-naΓ―ve typed Datalog backend with runtime, transformations, and foreign predicate supportβ16Jun 24, 2020Updated 5 years ago
- test frameworkβ11Jun 2, 2021Updated 4 years ago
- Additional media and software for use with PERQemuβ11Jul 8, 2025Updated 9 months ago
- linux kernel overlayβ11Updated this week
- Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019β10Jul 6, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- LFSC Proof Checkerβ11Sep 14, 2023Updated 2 years ago
- causal-length sets in Rustβ16Mar 25, 2026Updated 2 weeks ago
- Undelete open files and loop mounts ("improved" version of fdlink)β10Apr 19, 2011Updated 14 years ago
- Research papersβ15Feb 11, 2016Updated 10 years ago
- β32Oct 16, 2025Updated 5 months ago
- β14Apr 7, 2016Updated 10 years ago
- a BOCU-1 encoder/decoder library in rustβ18Dec 28, 2022Updated 3 years ago