Adding support for provenance and uncertainty management to PostgreSQL databases
☆73Sep 1, 2026Updated this 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:
- A list where most values will be None (or default)☆11Updated this week
- RPC/XDR protocol compiler (from jungerl)☆15Oct 4, 2019Updated 6 years ago
- Flexible CSV processing for Postgres☆30Aug 17, 2026Updated 2 weeks ago
- Postgres extension creating a pool of background workers☆26Jan 11, 2025Updated last year
- 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ttl index☆24Mar 21, 2026Updated 5 months ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆23Feb 3, 2026Updated 7 months ago
- ☆28Dec 20, 2024Updated last year
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 6 years ago
- ☆15Jun 14, 2022Updated 4 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 5 years ago
- Safe Withdrawal with Certainty Equivalent Cash Flow and TensorFlow☆21Sep 26, 2016Updated 9 years ago
- MonQ - PostgreSQL extension for MongoDB-like queries to jsonb data☆17Jul 12, 2017Updated 9 years ago
- ☆28Oct 6, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Code from the Functional Scala Conference talk: Type inference for plain-text SQL☆10Dec 5, 2024Updated last year
- lz4 compression for PostgreSQL 12+ (dev)☆22Oct 16, 2021Updated 4 years ago
- A library for writing chemical and biological data management systems☆10Oct 24, 2019Updated 6 years ago
- Take notes from you terminal.☆14Jul 4, 2022Updated 4 years ago
- Materials for "Multi-property Steering of Large Language Models with Dynamic Activation Composition"☆14Nov 22, 2024Updated last year
- Dropbox River for Elasticsearch (PROJECT STOPPED)☆20Dec 1, 2015Updated 10 years ago
- an aggregation function for PostgreSQL☆39Aug 4, 2025Updated last year
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated last year
- PostgreSQL with extensibility and performance patches☆40Aug 27, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- PostgreSQL trash can☆28Jan 26, 2026Updated 7 months ago
- O-3PO - Open-source Open-access Overlay Publishing Option☆10Apr 23, 2026Updated 4 months ago
- A Compiler made for the Decaf Language using Flex, Bison and LLVM IR for generating code dump and interpreting.☆11Nov 30, 2018Updated 7 years ago
- LSM tree implementation based on standard B-Tree☆31Dec 15, 2022Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 5 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- Git-style 3-way string merging using proven algorithms from libgit2/xdiff.☆15Updated this week
- Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI☆15Apr 6, 2026Updated 4 months ago
- A PostgreSQL extension providing two high-performance Table Access Methods designed for analytical and HTAP workloads — with **significan…☆31Jun 1, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An open source list of graph databases☆22Aug 27, 2026Updated last week
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆18Mar 22, 2018Updated 8 years ago
- SFI verifier of Wasm binaries☆86Mar 22, 2023Updated 3 years ago
- Benchmark repository of polyglot effect handler examples☆37Aug 21, 2025Updated last year
- JDBC Foreign Data Wrapper for PostgreSQL☆79Mar 18, 2025Updated last year
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆23Aug 18, 2020Updated 6 years ago
- Postgres CJK Parser pg_cjk_parser is a fts (full text search) parser derived from the default parser in PostgreSQL 11. When a postgres da…☆41Apr 30, 2026Updated 4 months ago