GitHub repository: test940/automata-library
Description: Demo repo for the library