GitHub repository: nathanael-fijalkow/stamina
Primary language: C++
Description: Stamina: STabilisation Monoids IN Automata theory