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