portals-project / portals
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
- Styx: Transactional Stateful Functions on Streaming Dataflows☆29Updated this week
- Prototype which extracts stateful dataflows by analysing Python code.☆20Updated 2 years ago
- Programming Language for Continuous Deep Analytics☆47Updated last year
- Deterministic transactional database layer on top of a stream processing engine☆25Updated 5 years ago
- Actor library for Rust☆26Updated last month
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 7 years ago
- ☆35Updated this week
- A code-generating database system with incorporated versioning commands in SQL.☆13Updated 4 years ago
- Megaphone: Latency-conscious state migration☆19Updated 5 years ago
- SnailTrail implementation☆39Updated 6 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated last year
- DS2 is an auto-scaling controller for distributed streaming dataflows☆89Updated 2 years ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 5 years ago
- Azure Cosmos TLA+ specifications☆22Updated 3 months ago
- ☆55Updated 2 weeks ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆29Updated last year
- Embeddable Aggregate Management System for Streams and Queries.☆90Updated 2 weeks ago
- ☆12Updated 3 years ago
- A runtime implementation of data-parallel actors.☆38Updated 3 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆10Updated 10 months ago
- Benchmarking how quickly storage systems respond to GDPR queries☆10Updated 4 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- SQL Fuzz Testing Utilities☆29Updated last year
- The codebase for DBSim☆15Updated 2 years ago
- A quotation-based Scala DSL for scalable data analysis.☆63Updated 2 years ago
- The Naiad system provides fast incremental and iterative computation for data-parallel workloads☆24Updated 7 years ago
- ☆10Updated 6 years ago
- ☆15Updated 4 years ago