Full threadiforgotmysocks·Check out automatarium - https://automatarium.tdib.xyz/ It can do finite state automata, pushdown automata and turning machines. We use it for computing theory classes at RMIT, and it was built by RMIT students.View on HN