Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages