Erlang automata playground with websocket-driven visualization