This is the Python implementation of DistAlgo, a language for distributed algorithms.