Duralade - a programming language for durable execution (but has many neat aspects)
Most of the work as of today is in a branch, can see the language spec at https://github.com/cretz/duralade/blob/initial-runtime/docs/..., and some samples at https://github.com/cretz/duralade/tree/initial-runtime/sampl....
May not amount to anything, but the ideas/concepts of this durable language are quite nice.