A collection of tools for making automata theory and formal languages come alive