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
- Apache Pulsar client for Haskell☆38Updated 5 years ago
- Streaming and Incremental Computation Framework☆245Updated 2 years ago
- Postgres extensions in C++☆16Updated 2 months ago
- Actor library for Rust☆26Updated last month
- An ORC reader for Rust☆12Updated 2 years ago
- IdeaLingua RPC for Scala, TypeScript, C#, Go☆20Updated last week
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- Algebraic Graphs in Scala☆27Updated 4 years ago
- The current backend of DBToaster, implemented in Scala.☆65Updated 3 years ago
- Embeddable multi-Paxos For The JVM☆77Updated 11 months ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆167Updated last week
- Http4s on Finagle Server or Client☆11Updated this week
- Azure Cosmos TLA+ specifications☆22Updated 10 months ago
- Lightweight affine types and object capabilities in Scala☆32Updated 6 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Updated 2 years ago
- Base library for Rüstigraben☆18Updated 5 years ago
- Experiments with composable lock-free concurrency☆22Updated this week
- ☆35Updated last week
- Fast streams for Scala 3☆57Updated 10 months ago
- ☆10Updated 7 years ago
- A local first persistent log☆36Updated 3 months ago
- ☆13Updated 7 years ago
- ☆23Updated last week
- Making the execution of system processes easier in Scala☆13Updated 10 months ago
- Problem solving à la carte☆21Updated 3 years ago
- Synchronous programming in Haskell☆17Updated 5 years ago
- Formalization of DBSP☆27Updated 2 years ago
- Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search☆24Updated last year
- A small repo to release coursier using self-hosted Mac M1 runner☆11Updated 2 weeks ago