Partisan is a scalable and flexible, TCP-based membership system and distribution layer for the BEAM.

NAT traversal library for Erlang - UPnP IGD, NAT-PMP, PCP

Declarative, distributed, eventually consistent compuations.

Conflict-free Replicated Data Types Database

Epidemic Broadcast Trees

Tagged reliable causal broadcast.