portals-project / portals
Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors
☆19Updated last year
Related projects ⓘ
Alternatives and complementary repositories for portals
- Prototype which extracts stateful dataflows by analysing Python code.☆19Updated 2 years ago
- ☆33Updated last month
- Programming Language for Continuous Deep Analytics☆44Updated last year
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆28Updated last year
- ☆15Updated 4 years ago
- Deterministic transactional database layer on top of a stream processing engine☆25Updated 5 years ago
- A ZIO-based interface to RocksDB.☆32Updated last week
- 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.☆83Updated 2 weeks ago
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆10Updated 5 months ago
- A code-generating database system with incorporated versioning commands in SQL.☆14Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- ☆12Updated 8 months ago
- ☆54Updated last year
- Styx: Transactional Stateful Functions on Streaming Dataflows☆16Updated last month
- Experimental support for serializing DataFusion plans using substrait☆44Updated last year
- Tools for generating TPC-* datasets☆26Updated 5 months ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆198Updated 9 months ago
- Megaphone: Latency-conscious state migration☆19Updated 4 years ago
- Temporal graph storage in rust☆13Updated last year
- Actor library for Rust☆26Updated 4 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…☆15Updated last year
- The codebase for DBSim☆15Updated last year
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆15Updated 4 years ago
- Raft algorithm implementation in Scala☆20Updated last year
- Azure Cosmos TLA+ specifications☆20Updated 11 months ago
- Lightning talk about TLA+ for Scala Exchange 2018☆9Updated 4 years ago