Тыц тыц тыц )
И не только... На сайте есть лабы по LisP-у, проекты на Delphi для Теории Алгоритмов, Мат Логики и многое многое другое ^_^