vmware / database-stream-processor-compilerLinks
Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.
☆16Updated 3 years ago
Alternatives and similar repositories for database-stream-processor-compiler
Users that are interested in database-stream-processor-compiler are comparing it to the libraries listed below
Sorting:
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Updated 2 years ago
- Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors☆19Updated last year
- ☆18Updated last month
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- ☆14Updated 8 months ago
- Styx: Transactional Stateful Functions on Streaming Dataflows☆30Updated last week
- Streaming and Incremental Computation Framework☆239Updated 2 years ago
- Formalization of DBSP☆23Updated last year
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆129Updated this week
- A programming language for data stream analytics.☆21Updated 5 months ago
- A local first persistent log☆36Updated this week
- Embeddable Aggregate Management System for Streams and Queries.☆92Updated 2 months ago
- ☆36Updated 3 years ago
- IdeaLingua RPC for Scala, TypeScript, C#, Go☆21Updated this week
- ☆22Updated 3 years ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Updated 10 months ago
- Viewstamped Replication for Rust☆69Updated 2 years ago
- Rust implementation of the FastLanes compression library☆109Updated last month
- ☆20Updated last week
- A Datalog execution engine for Scala☆13Updated 2 months ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- Actor library for Rust☆26Updated last week
- Savina is an Actor Benchmark Suite.☆36Updated 4 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆129Updated 4 months ago
- FoundationDB Correctness service☆30Updated 3 weeks ago
- Apache Pulsar client for Haskell☆38Updated 4 years ago
- Polars for Scala & Java projects!☆86Updated this week
- JSON support for DataFusion (unofficial)☆42Updated last week