GitHub - hnaderi/edomata: Production ready event-driven automata for ...