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
- Styx: Transactional Stateful Functions on Streaming Dataflows☆25Updated last week
- ☆34Updated 5 months ago
- Programming Language for Continuous Deep Analytics☆45Updated last year
- SnailTrail implementation☆39Updated 5 years ago
- Deterministic transactional database layer on top of a stream processing engine☆25Updated 5 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated last year
- This repository contains the code base for the Open Stream Processing Benchmark.☆50Updated 3 years ago
- ☆12Updated 3 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- DS2 is an auto-scaling controller for distributed streaming dataflows☆89Updated 2 years ago
- Actor library for Rust☆26Updated last week
- 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 month
- Experimental Rust wrapper for FASTER by Microsoft Research☆54Updated 4 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆9Updated 9 months ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 6 years ago
- Embeddable Aggregate Management System for Streams and Queries.☆91Updated 2 months ago
- A programming language for data stream analytics.☆19Updated 2 months ago
- A flat container abstraction for Rust☆14Updated 4 months ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- A code-generating database system with incorporated versioning commands in SQL.☆14Updated 4 years ago
- Megaphone: Latency-conscious state migration☆19Updated 5 years ago
- Harry for Apache Cassandra®☆54Updated 7 months ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- ESPBench - The Enterprise Stream Processing Benchmark☆14Updated last year
- Squid – type-safe metaprogramming and compilation framework for Scala☆199Updated last year
- Experiments with composable lock-free concurrency☆16Updated this week
- Tools for generating TPC-* datasets☆28Updated 9 months ago
- SQL Benchmark derived from TPC-DS☆15Updated last year
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year