Skip to content

Pull requests: hydro-project/hydro

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

chore(docs): Move Ben to alumni section
#3021 opened Jul 9, 2026 by akainth015 Member Loading…
docs: add rust: link resolver so rustdoc links can't go stale
#3020 opened Jul 9, 2026 by shadaj Member Loading…
docs(hydro): Describe monotonicity in Hydro
#3016 opened Jul 9, 2026 by akainth015 Member Loading…
feat(dfir_lang): re-add loop scopes
#2989 opened Jun 29, 2026 by MingweiSamuel Member Loading…
docs(blogpost): multi-version sim blog post
#2986 opened Jun 29, 2026 by luckyworkama Contributor Loading…
feat(hydro_lang): add forward consistency analysis for IR sinks
#2927 opened Jun 5, 2026 by jhellerstein Contributor Loading…
feat(hydro_lang): Pr/ir export
#2830 opened May 1, 2026 by jhellerstein Contributor Draft
feat(hydro_test): Example of produce and consume from Kafka
#2805 opened Apr 23, 2026 by akainth015 Member Loading…
feat(hydro_aws): add AWS crate, SQS integration
#2746 opened Apr 15, 2026 by MingweiSamuel Member Loading…
docs(rfc): stream alignment
#2027 opened Aug 21, 2025 by shadaj Member Loading…
ProTip! Exclude everything labeled bug with -label:bug.