I spent the last 3 years writing a distributed database which is basically a state machine (it's built on top of Paxos).

http://github.com/scalien/scaliendb