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.

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!

• Docs: There are docs for the high-level Hydro framework and the low-level dataflow IR, DFIR, as well as the Hydro Deploy framework for launching Hydro programs.

• Research Papers: Our research publications are available on the project website. Some notable selections:

  • The original Hydro vision paper from CIDR 2021: New Directions in Cloud Programming
  • The first paper on optimizations from SIGMOD 2024: Optimizing Distributed Protocols with Query Rewrites
  • The first paper on Hydro's formal semantics to appear in POPL 2025: Flo: a Semantic Foundation for Progressive Stream Processing

For Hydro development setup and contribution info, see CONTRIBUTING.md.