I would like to announce the first release of
crem stands for compositional representable executable machines.
It allows defining state machines (Mealy machines in fact), composing them to build bigger machines out of smaller ones and then running them and drawing their flow and their state space.
The repository contains extensive documentation and several examples, including domain modelling with state machines and a terminal-base adventure game.
Please check it out and let me know how it could be improved