Automata 2.0 Wiki/Libraries