Conflict-free Replicated Data Types Database

Declarative, distributed, eventually consistent compuations.

A framework for applications using Lasp on GRiSP embedded systems at the edge

Epidemic Broadcast Trees

Tagged reliable causal broadcast.