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