hydro-project/katara

Synthesize CRDTs from classic data types with verified lifting!

4 mentions on Hacker News by 4 people: 1 story, 3 comments · first 2022-09-26 · latest 2024-03-07

Mentions per year 4 mentions · busiest year 2022 (2)

20082026

All Stories Comments Newest Top Oldest

…Dataflow Engine: https://github.com/hydro-project/hydroflow CRDT Generator: https://github.com/hydro-project/katara Cloud File Transfer: https://github.com/skyplane-project/skyplane
comment by threeseed · 2024-03-07 · in Ask HN: What underrated open source project deserves more recognition?
…plain-old data structure along with a few annotations https://news.ycombinator.com/item?id=32977887 https://github.com/hydro-project/katara
comment by jitl · 2023-06-07 · in Hydroflow: Dataflow Runtime in Rust
Github here: https://github.com/hydro-project/katara
comment by erichocean · 2022-09-26 · in Katara: Synthesizing CRDTs with Verified Lifting