Jerry
Preview
Open in TheBrain
Welcome! (start here)
Messages Must Be
Personal
My...
My Projects
Open Global Mind (2018 OGM)
OGM Structure
Potential OGM Architecture Components
Conflict-free Replicated Data Types (2011 CRDTs)
hydro-project/katara
Attachments
GitHub - hydro-project/katara: Synthesize CRDTs from classic data types with verified lifting!
Parents
Conflict-free Replicated Data Types (2011 CRDTs)
Children
2022-10-17 FJB Call: The Tiles Process
Synthesize CRDTs from classic data types with verified lifting!