repos for the lecture Algorithms for Distributed Systems, 6th semester