A repository for the Distributed Algorithms Project