GitHub repository: petrs/state_enforcer
Primary language: Python
Description: Visualize program states transitions and generates enforcing methods (from provided yaml model)