Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors
☆20Nov 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:
- Benchmarking Machine Learning Model Inference in Data Streaming Solutions☆10Jun 12, 2024Updated last year
- ☆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☆40Mar 2, 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
- OmniPaxos is a distributed log implemented as a Rust library.☆220Nov 17, 2025Updated 3 months ago
- Embeddable Aggregate Management System for Streams and Queries.☆109Feb 25, 2026Updated last week
- 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 lightweight framework that enables serverless users to reduce their bills by harvesting non-serverless compute resources such as their …☆28Aug 16, 2024Updated last year
- Export the classpath for Ammonite and Almond☆28Aug 19, 2024Updated last year
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆27Feb 26, 2024Updated 2 years ago
- Multi-core Window-Based Stream Processing Engine☆73Oct 20, 2021Updated 4 years ago
- A library with task executors for Rust☆32Jan 11, 2025Updated last year
- Linear types in Scala☆46Feb 28, 2026Updated last week
- A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…☆26Jan 3, 2026Updated 2 months ago
- Multitouch gestures on X11, Linux☆10Nov 22, 2015Updated 10 years ago
- ☆33Mar 1, 2026Updated last week
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- An alternative to OpenFaaS nats-queue-worker for long-running functions☆11Dec 14, 2022Updated 3 years ago
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- madsim-inspired determinism for turmoil-based simulation tests☆55Feb 19, 2026Updated 2 weeks ago
- GeminiFS: A Companion File System for GPUs☆71Feb 18, 2025Updated last year
- Repository for sample Windows applications and tools that use eye tracking☆21Aug 18, 2022Updated 3 years ago
- A coöperative multitasking framework based on `liburing` and `libucontext`☆16Jan 2, 2026Updated 2 months ago
- Command-line utility for iteratively developing pipelines, deploying them at scale, and sharing data and derivatives☆10Jun 15, 2020Updated 5 years ago
- VSS: A Storage System for Video Analytics☆13Jul 9, 2021Updated 4 years ago
- ☆13Aug 22, 2025Updated 6 months ago
- ☆10Jan 25, 2022Updated 4 years ago
- Experiments on Linking the Nodes of a Music Notation Graph (MuNG) with Deep Learning.☆12May 16, 2021Updated 4 years ago
- A small framework for web apps using http4s+tapir+laminar. Currently for personal use but may grow into a thing later down the line.☆11Feb 4, 2026Updated last month
- COSE: Configuring Serverless Functions using Statistical Learning☆10Jun 28, 2023Updated 2 years ago
- A universal adapter including zero-copy Python bindings for Philip Turner's metal flash attention library.☆24Dec 15, 2025Updated 2 months ago
- For replicating streams across clouds, accounts and regions☆18Feb 25, 2026Updated last week
- ☆11Feb 4, 2024Updated 2 years ago
- A library for writing tables for Scala☆12Jan 26, 2025Updated last year