brurucy / pydbsp
This library provides an implementation of the DBSP language for incremental streaming computations.
☆57Updated this week
Related projects ⓘ
Alternatives and complementary repositories for pydbsp
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆143Updated 6 months ago
- ☆11Updated 4 months ago
- Apache Arrow PostgreSQL connector☆54Updated 9 months ago
- Scale to zero Seafowl hosting with Cloud Run☆39Updated last year
- Tail the Binlog of a database☆15Updated 2 years ago
- Prototype compiler from SaneQL to SQL☆70Updated 10 months ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆21Updated 2 years ago
- A modular implementation of timely dataflow in Rust☆114Updated 3 weeks ago
- embeddable cloud-native storage for events and time-series data☆75Updated 6 months ago
- Zig library for HyperLogLog estimation☆86Updated 3 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- A list of languages that compile to SQL☆62Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Data lake indices☆23Updated this week
- An implementation of differential dataflow using timely dataflow on Rust.☆162Updated 2 weeks ago
- Diagrams as text tool for visualizing concurrent operation histories☆20Updated last week
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆156Updated this week
- ayb makes it easy to create databases, share them with collaborators, and query them from a web application or the command line☆64Updated last week
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- A runtime implementation of data-parallel actors.☆38Updated 2 years ago
- Prosto is a data processing toolkit radically changing how data is processed by heavily relying on functions and operations with function…☆91Updated 2 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆29Updated 2 months ago
- Streaming and Incremental Computation Framework☆225Updated last year
- ZSV Utility for converting json to/from zip-separated-values☆58Updated 5 months ago
- DuckDB extension allowing shell commands to be used for input and output.☆56Updated last month
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆72Updated 6 years ago
- Macro-based string templating.☆20Updated 2 months ago
- Query Plan Markup Language☆45Updated 9 months ago