brurucy / pydbsp
This library provides an implementation of the DBSP language for incremental streaming computations.
☆109Updated 2 months ago
Alternatives and similar repositories for pydbsp:
Users that are interested in pydbsp are comparing it to the libraries listed below
- ☆11Updated 5 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆166Updated last week
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆145Updated 11 months ago
- ☆17Updated 9 months ago
- A modular implementation of timely dataflow in Rust☆115Updated 2 weeks ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆211Updated this week
- Prototype compiler from SaneQL to SQL☆81Updated last year
- ☆38Updated this week
- A runtime implementation of data-parallel actors.☆38Updated 3 years ago
- Streaming and Incremental Computation Framework☆233Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- PostgreSQL Prolog language handler☆132Updated last year
- B-field implementation in Rust☆204Updated 10 months ago
- Query Plan Markup Language☆45Updated last year
- Scale to zero Seafowl hosting with Cloud Run☆38Updated last year
- SQL transformation tool for DuckDB written in Rust☆47Updated last month
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Rust implementation of the FastLanes compression library☆98Updated 2 weeks ago
- Datalog + Egg = Good☆66Updated last year
- DuckDB Extension Linearization/Delinearization, Z-Order, Hilbert and Morton Curves☆42Updated 3 weeks ago
- Apache Arrow PostgreSQL connector☆59Updated last year
- PRQL as a DuckDB extension☆284Updated 3 weeks ago
- Query and transform data with PRQL☆130Updated last year
- Analytical database for data-driven Web applications 🪶☆482Updated last month
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated last month
- Zack's experimental tool for querying BPF with SQL.☆38Updated 7 months ago
- Differential dataflow for mere mortals☆519Updated 3 years ago