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