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
- Prototype which extracts stateful dataflows by analysing Python code.☆20Updated 2 years ago
- Programming Language for Continuous Deep Analytics☆44Updated last year
- ☆12Updated 3 years ago
- ☆34Updated 2 months ago
- A flat container abstraction for Rust☆13Updated 2 months ago
- DS2 is an auto-scaling controller for distributed streaming dataflows☆87Updated last year
- Megaphone: Latency-conscious state migration☆19Updated 4 years ago
- ☆13Updated 10 months ago
- This is a small demo of how to transform a simple single-server RocksDB service written in Rust into a distributed version using OmniPaxo…☆16Updated last year
- Deterministic transactional database layer on top of a stream processing engine☆25Updated 5 years ago
- Implementation and artifacts for "User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases"☆23Updated 11 months ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 5 years ago
- Embeddable Aggregate Management System for Streams and Queries.☆88Updated 2 weeks ago
- The current backend of DBToaster, implemented in Scala.☆63Updated 2 years ago
- Actor library for Rust☆26Updated 6 months ago
- A local first persistent log☆34Updated 3 weeks ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- SnailTrail implementation☆38Updated 5 years ago
- Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image☆32Updated 4 years ago
- This repository provides Scotty, a framework for efficient window aggregations for out-of-order Stream Processing.☆75Updated last year
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 6 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆9Updated 7 months ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- This repository contains the code base for the Open Stream Processing Benchmark.☆50Updated 3 years ago
- Styx: Transactional Stateful Functions on Streaming Dataflows☆18Updated this week
- A code-generating database system with incorporated versioning commands in SQL.☆14Updated 4 years ago
- Performant implementations of various streaming algorithms, including Count–min sketch, Top k, HyperLogLog, Reservoir sampling.☆85Updated 5 months ago