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☆25Updated this week
- ☆34Updated 3 months ago
- Actor library for Rust☆26Updated 7 months ago
- Deterministic transactional database layer on top of a stream processing engine☆25Updated 5 years ago
- Prototype which extracts stateful dataflows by analysing Python code.☆20Updated 2 years ago
- The current backend of DBToaster, implemented in Scala.☆63Updated 3 years ago
- A code-generating database system with incorporated versioning commands in SQL.☆14Updated 4 years ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆15Updated 4 years ago
- Tools for generating TPC-* datasets☆26Updated 7 months ago
- A quotation-based Scala DSL for scalable data analysis.☆63Updated 2 years ago
- Embeddable Aggregate Management System for Streams and Queries.☆91Updated last month
- ☆12Updated 3 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆199Updated last year
- A collection of state machine replication protocols☆118Updated 2 years ago
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- benchmark for modern serialization systems: Apache Avro, Protocol Buffers, Apache Thrift and MessagePack written in Scala☆27Updated 6 years ago
- Programming Language for Continuous Deep Analytics☆45Updated last year
- ☆13Updated this week
- Bridge Four is a simple, functional, effectful, single-leader, multi worker, distributed compute system optimized for embarrassingly para…☆36Updated last year
- A local first persistent log☆35Updated last month
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆9Updated 8 months ago
- Azure Cosmos TLA+ specifications☆21Updated last month
- This repository contains the code base for the Open Stream Processing Benchmark.☆50Updated 3 years ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 5 years ago
- Megaphone: Latency-conscious state migration☆19Updated 5 years ago
- Harry for Apache Cassandra®☆54Updated 5 months ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- ☆15Updated 4 years ago
- SQL Fuzz Testing Utilities☆29Updated last year