GitHub repository: Echtzeitsysteme/timed-automata-analysis-frontend
Primary language: TypeScript
Description: A project for analyzing Timed Automata.