https://github.com/hydro-project/hydro
A Rust framework for correct and performant distributed systems
https://github.com/hydro-project/hydro
distributed-systems rust
Last synced: 9 days ago
JSON representation
A Rust framework for correct and performant distributed systems
- Host: GitHub
- URL: https://github.com/hydro-project/hydro
- Owner: hydro-project
- License: apache-2.0
- Created: 2021-08-25T01:05:30.000Z (almost 5 years ago)
- Default Branch: main
- Last Pushed: 2026-06-08T13:53:20.000Z (12 days ago)
- Last Synced: 2026-06-08T15:29:47.698Z (12 days ago)
- Topics: distributed-systems, rust
- Language: Rust
- Homepage: https://hydro.run/
- Size: 438 MB
- Stars: 1,243
- Watchers: 13
- Forks: 84
- Open Issues: 252
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Citation: CITATION.cff
Awesome Lists containing this project
README
Hydro is a high-level distributed programming framework for Rust. Hydro can help you quickly write scalable distributed services that are correct by construction. Much like Rust helps with memory safety, Hydro helps with [**distributed safety**](https://hydro.run/docs/hydro/reference/correctness).
Hydro integrates naturally with standard Rust constructs and IDEs, providing types and programming constructs for ensuring distributed safety. Under the covers, Hydro is powered by the Dataflow Intermediate Representation (DFIR), a compiler and low-level runtime for stream processing. DFIR enables automatic vectorization and efficient scheduling without restricting your application logic.
Get started today at hydro.run!
# Learn More
- **Docs**: There are docs for the [high-level Hydro framework](https://hydro.run/docs/hydro/reference/) and the low-level dataflow IR, [DFIR](https://hydro.run/docs/dfir), as well as the [Hydro Deploy](https://hydro.run/docs/hydro/reference/deploy/) framework for launching Hydro programs.
- **Research Papers**: Our [research publications](https://hydro.run/research) are available on the project website. Some notable selections:
- The original Hydro vision paper from CIDR 2021: [New Directions in Cloud Programming](https://hydro.run/papers/new-directions.pdf)
- The first paper on optimizations from SIGMOD 2024: [Optimizing Distributed Protocols with Query Rewrites](https://hydro.run/papers/david-sigmod-2024.pdf)
- The first paper on Hydro's formal semantics to appear in POPL 2025: [Flo: a Semantic Foundation for Progressive Stream Processing](https://arxiv.org/abs/2411.08274)
# Contributing
For Hydro development setup and contribution info, see [CONTRIBUTING.md](CONTRIBUTING.md).