GitHub repository: Hoshiningen/Automata
Primary language: C#
Description: Automata is planned to be a graphical tool that makes the creation of formal languages easy, quick, and efficient, and is meant to serve as a study aid for students learning Theoretical Computer Science.