GitHub repository: vermiculus/ssa-tool
Primary language: Python
Description: A utility for the creation and evaluation of self-stabilizing algorithms