Alternatives and similar repositories for flumina:

Users that are interested in flumina are comparing it to the libraries listed below

• edin-dal / sdqlpy
  sdqlpy: A Compiled Query Engine for Python
  ☆20Updated 2 years ago
• TU-Berlin-DIMA / grizzly-prototype
  Grizzly: Efficient Stream Processing Through Adaptive Query Compilation
  ☆16Updated 4 years ago
• tum-db / TardisDB
  A code-generating database system with incorporated versioning commands in SQL.
  ☆13Updated 4 years ago
• stonysystems / depfast-ae
  ☆19Updated 2 months ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• vasigavr1 / Odyssey
  ☆13Updated 2 years ago
• ease-lab / Zeus
  This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…
  ☆18Updated 2 years ago
• epfl-dcsl / hovercraft
  ☆14Updated 5 years ago
• pkusys / Halfmoon
  Implementation of the logging layer of our SOSP '23 paper Halfmoon
  ☆11Updated last year
• AutomataLab / JSONSki
  JSONPath Streaming with Bit-Parallel Fast-Forwarding
  ☆25Updated 5 months ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆45Updated last year
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆81Updated 2 years ago
• LPD-EPFL / mu
  Mu: Microsecond Consensus for Microsecond Applications
  ☆39Updated 4 years ago
• DBOS-project / dbos-scheduler
  ☆27Updated 3 years ago
• GMAP / SPBench
  SPBench: A Framework for Benchmarking Stream Processing Applications
  ☆11Updated 4 months ago
• ampersand-projects / tilt
  ☆11Updated 9 months ago
• hpides / vectorized-hash-tables
  Code and results for our paper "Analyzing Vectorized Hash Tables Across CPU Architectures" @ VLDB '23.
  ☆24Updated last year
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated this week
• scuptio / sedeve-kit
  In Spec We Trust
  ☆34Updated this week
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• utah-scs / splinter
  A low-latency, extensible, multi-tenant key-value store.
  ☆55Updated 4 years ago
• Trinity-data-store / Trinity
  EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"
  ☆18Updated 3 weeks ago
• flyvy-verifier / flyvy
  An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…
  ☆17Updated 3 weeks ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated 11 months ago
• sanjosh / tlaplus
  TLA+ programs
  ☆9Updated 7 years ago
• TU-Berlin-DIMA / Hawk-VLDBJ
  ☆14Updated 5 years ago
• epfl-dcsl / lancet-tool
  ☆29Updated 7 months ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated last year
• ut-osa / nightcore
  Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]
  ☆102Updated 3 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆31Updated 3 years ago