portals-project / portalsView external linksLinks
Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors
☆19Nov 15, 2023Updated 2 years ago
Alternatives and similar repositories for portals
Users that are interested in portals are comparing it to the libraries listed below
Sorting:
- ☆12Apr 26, 2023Updated 2 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 2 years ago
- Styx: Transactional Stateful Functions on Streaming Dataflows☆38Feb 4, 2026Updated last week
- ☆12Updated this week
- Abstractions for making closures in Scala safer and more flexible☆21Jan 13, 2026Updated last month
- Prototype which extracts stateful dataflows by analysing Python code.☆21Sep 8, 2022Updated 3 years ago
- Programming Language for Continuous Deep Analytics☆48Oct 5, 2023Updated 2 years ago
- OmniPaxos is a distributed log implemented as a Rust library.☆220Nov 17, 2025Updated 2 months ago
- Embeddable Aggregate Management System for Streams and Queries.☆107Nov 8, 2025Updated 3 months ago
- A universal workflow system for exactly-once DAGs☆23Jun 1, 2023Updated 2 years ago
- A benchmark suite for evaluating FaaS scheduler.☆23Nov 5, 2022Updated 3 years ago
- A simple hash wheel timer supporting both periodic and one-off events☆29Oct 5, 2024Updated last year
- Transactions for Stateful Functions as a Service. This repository implements and API and associated underpinnings for two-phase Commit an…☆25Dec 15, 2022Updated 3 years ago
- Export the classpath for Ammonite and Almond☆28Aug 19, 2024Updated last year
- Multi-core Window-Based Stream Processing Engine☆73Oct 20, 2021Updated 4 years ago
- Linear types in Scala☆46Feb 7, 2026Updated last week
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆23Jan 3, 2026Updated last month
- Wukong: A scalable and locality-enhanced serverless parallel framework (ACM SoCC'20)☆76Nov 2, 2024Updated last year
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆43Apr 28, 2025Updated 9 months ago
- An alternative to OpenFaaS nats-queue-worker for long-running functions☆11Dec 14, 2022Updated 3 years ago
- Library for Excel-like calculations with some additional features like Calculation Graph and Custom Functions.☆10Jan 21, 2016Updated 10 years ago
- ☆33Dec 23, 2025Updated last month
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Oct 27, 2025Updated 3 months ago
- ☆10May 9, 2016Updated 9 years ago
- Multitouch gestures on X11, Linux☆10Nov 22, 2015Updated 10 years ago
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- GeminiFS: A Companion File System for GPUs☆72Feb 18, 2025Updated 11 months ago
- madsim-inspired determinism for turmoil-based simulation tests☆52Jan 2, 2026Updated last month
- Go Version of Redis on PMEM☆12Dec 20, 2021Updated 4 years ago
- Query, analysis, and visualization of large video collections☆10Dec 9, 2022Updated 3 years ago
- IDLSet - Fast u64 integer set operations☆13May 30, 2024Updated last year
- Toggle the visibility of comments☆12Apr 17, 2019Updated 6 years ago
- A library for writing tables for Scala☆12Jan 26, 2025Updated last year
- Javascript module resolution and bundling for the Mill build tool☆12Jan 6, 2026Updated last month
- KPC-Toolbox: MATLAB toolbox to fit Markovian Arrival Processes☆10Jun 12, 2025Updated 8 months ago
- VOCAL-UDF: Self-Enhancing Video Data Management System for Compositional Events with Large Language Models☆12Dec 12, 2025Updated 2 months ago
- ☆10Jan 25, 2022Updated 4 years ago
- A cross-platform library for retrieving information about connected devices.☆11Sep 5, 2023Updated 2 years ago