This is an clone of http://hg.aplavin.ru/formal-languages. For newer updates visit the link.