I remember there was talk of an erlang planet lab at some point, was wondering if anything ever came of that. Also if those working on it have seen donut lab from E: http://www.erights.org/smart-contracts/donut-lab/index.html