GitHub repository: sillydan1/aaltitoad
Primary language: C++
Description: Extendable verification engine and simulator for Tick Tock Automata constructs