Distributed Systems course labs and final project titled Weighted paxos