Riak Core
Declarative, distributed, eventually consistent compuations.
Multi-Paxos framework in Erlang
A hunky Erlang worker pool factory