hydro-project / kataraLinks

Synthesize CRDTs from classic data types with verified lifting!
147Updated last year

Alternatives and similar repositories for katara

Users that are interested in katara are comparing it to the libraries listed below

Sorting: