1. TypesPrototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.
2. Lasp pgLasp driven process group registry for Erlang.
3. LaspPrototype implementation of Lasp in Erlang.
4. PartisanHigh-performance, high-scalability distributed computing with Erlang and Elixir.
5. unirPartisan / Riak Core integration suite.
6. ishikawaErlang implementation of tagged reliable causal broadcast.
7. sprinterSprinter service discovery for Mesos and Kubernetes.