A framework for applications using Lasp on GRiSP embedded systems at the edge
Conflict-free Replicated Data Types Database
Tagged reliable causal broadcast.
Epidemic Broadcast Trees
Declarative, distributed, eventually consistent compuations.