My final year project from when I studied at the University of Cambridge. This code would need a huge amount of work to be really usable in the real world, but if you want a sample implementation of Paxos in C# it might be useful.