GitHub repository: ut-amrl/ut_automata
Primary language: C++
Description: Infrastructure repository for UT AUTOmata