portals-project / portalsLinks
Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors
☆19Updated last year
Alternatives and similar repositories for portals
Users that are interested in portals are comparing it to the libraries listed below
Sorting:
- Prototype which extracts stateful dataflows by analysing Python code.☆20Updated 2 years ago
- Styx: Transactional Stateful Functions on Streaming Dataflows☆30Updated last week
- Programming Language for Continuous Deep Analytics☆47Updated last year
- ☆35Updated 3 weeks ago
- ☆12Updated 3 years ago
- SnailTrail implementation☆39Updated 6 years ago
- Megaphone: Latency-conscious state migration☆19Updated 5 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 7 years ago
- A code-generating database system with incorporated versioning commands in SQL.☆13Updated 4 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆10Updated last year
- paper and code for New Directions in Cloud Programming, CIDR 2021☆11Updated 4 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Updated 2 years ago
- ☆55Updated 2 months ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- Actor library for Rust☆26Updated last week
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 5 years ago
- ☆18Updated last month
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆16Updated 3 years ago
- ☆12Updated 5 years ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- Embeddable Aggregate Management System for Streams and Queries.☆92Updated 2 months ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆16Updated 5 years ago
- Deterministic transactional database layer on top of a stream processing engine☆25Updated 5 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- A programming language for data stream analytics.☆21Updated 5 months ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- Multi-core Window-Based Stream Processing Engine☆71Updated 3 years ago
- DS2 is an auto-scaling controller for distributed streaming dataflows☆89Updated 2 years ago