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:
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆138Updated last week
- Streaming and Incremental Computation Framework☆242Updated 2 years ago
- Apache Pulsar client for Haskell☆38Updated 4 years ago
- TLA+ specification of Fast Flexible Paxos☆17Updated 4 years ago
- Actor library for Rust☆26Updated 2 months ago
- Embeddable multi-Paxos For The JVM☆76Updated 8 months ago
- Azure Cosmos TLA+ specifications☆22Updated 7 months ago
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago
- Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors☆19Updated last year
- A local first persistent log☆36Updated this week
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- ☆23Updated 2 weeks ago
- IdeaLingua RPC for Scala, TypeScript, C#, Go☆21Updated last week
- Intellij plugin for TLA+ formal specification language.☆59Updated 4 months ago
- Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search☆25Updated 11 months ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- Fast streams for Scala 3☆56Updated 7 months ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 7 years ago
- ☆96Updated 2 months ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Updated 2 years ago
- A small repo to release coursier using self-hosted Mac M1 runner☆11Updated last month
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 8 years ago
- Simulated playground for distributed algorithms☆14Updated 5 years ago
- Algebraic Graphs in Scala☆27Updated 4 years ago
- Polars for Scala & Java projects!☆93Updated 3 weeks ago
- ScaLALR : LALR parser generator for embedded DSLs in Scala☆13Updated 7 years ago
- Harry for Apache Cassandra®☆54Updated last year