Synthesize CRDTs from classic data types with verified lifting!
Why do you think that https://github.com/vmware/database-stream-processor is a good alternative to katara
Synthesize CRDTs from classic data types with verified lifting!
Why do you think that https://github.com/vmware/database-stream-processor is a good alternative to katara