hydro-project/katara
View on GitHub ↗ ★ 149 Python
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
20082026
-
…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 -
▲ 3
Katara: Synthesize CRDTs from Sequential Typesstory by shadaj · 2022-10-07 · 0 comments
-
Github here: https://github.com/hydro-project/katara
comment by erichocean · 2022-09-26 · in Katara: Synthesizing CRDTs with Verified Lifting