check-test — чекер для контрольных работ студентов (Haskell).
cpp-mv-poly — реализация многочленов многих переменных и BMS-алгоритма на C++;
formal-langs-identification (совместно с Т.С. Мухутдиновой) — изучение формальных языков, полученных с помощью отождествления всех букв других формальных языков;
mmcs-entrance-2010 — программа генерации диаграмм (формат PNG) заявлений абитуриентов ЮФУ по данным ЦПК (формат XLS) в 2010 году.
lj-comments-notifier — утилита для получения информации о новых комментариях к сообщениям на сервисе livejournal.com.
sfedu_umk — латех-шаблон для УМК/РПД в Южном федеральном университете.
mmcs_sfedu_thesis — шаблон выпускной работы на Мехмате ЮФУ.