This projects aims to implement some known distributed systems algorithms and various methods of testing and debugging them (work in progress).
Comments welcome!
system - a libray for writing simulations of distributed systems.
An implementation of the paxos algorithm.