I added RAFCON to the list of Python FSMs. It's both a library and a GUI. The order is not based on GitHub starts but rather on maturity.