Oh, I realize this comes out the Hydro Project that produced a previous HN submission I thought was cool: Katara is a project to synthesize CRDTs from a C++ im

Oh, I realize this comes out the Hydro Project that produced a previous HN submission I thought was cool: Katara is a project to synthesize CRDTs from a C++ implementation of a regular plain-old data structure along with a few annotations https://news.ycombinator.com/item?id=32977887 https://news.ycombinator.com/item?id=32977887 https://github.com/hydro-project/katara https://github.com/hydro-project/katara