GitHub repository: AstroThing/automata.js
Primary language: JavaScript
Description: Tool to draw and evaluate automata