GitHub repository: pajacobson/miros
Description: Python statecharts