paxos implementations

[Ian Holsman]

while this is not exactly hadoop related, I thought the people reading 
this would have the answer or know where to look for one.

A friend of mine is looking to write a distributed name server/lock thingy,
and wants to use paxos (http://en.wikipedia.org/wiki/Paxos_algorithm ) 
to help with consensus.

I was wondering if anyone knew of such a beast out there?