Генерация описаний алгебраических типов данных на основе JSON (Олег Маросеев);
Генерация экземпляров классов типов на основе экземпляров производных классов в языке Haskell (Ольга Филиппская);
Схемы разделения секрета с реализацией на языке Haskell (Олег Хритоненков);
Расширение плагина публикации заданий в Moodle (Точи Бенджамен Рубен).
Функциональный парсер легковесного языка разметки Markdown на основе комбинирования монад и моноидального представления исходного текста (Георгий Лукьянов);
Метапрограммная реализация арифметики в простых конечных полях и их расширениях (Анастасия Мышко);
Система вывода в линейной логике с реализацией на языке Haskell (Владимир Панков).
Многочлены многих переменных в языке Haskell (Олег Хритоненков);
Язык квантовых вычислений Quipper (Владимир Панков);
Метапрограммная реализация библиотеки в конечных полях (Анастасия Мышко).