Artyom's repositories
hi-language
Creation of Hi language by Haskell
VK-Test-iOS-Lenta
Тестовое задание для стажировки во ВКонтакте, Лента iOS
bachelor-thesis
LaTeX styles for different purposes.
Language:TeX000
Hindley-Milner-types-validation
Validation of Proofs for Inferring the Type of an Expression
itmo-coding
Coding Theory course at ITMO University
Language:Jupyter Notebook000
JB-Interships-Find-in-Path-Go-to-File
Репозиторий для тестового задания от JB "Find in Path"
LL1-parser-generator
Project for creating parser generators for LL1 grammars with synthetic and inherited attributes
Search-tree-prolog
Дерево поиска на пролог
SoftwareDesignHW
Лабы по проектированию программного обеспечения
SwiftStudy
Repository with projects on Swift
TaskTracker
Parallel task tracker. Swift
TimeTableLab
Решения по теории расписаний
YandexCupYoga
Задание для соревнования Yandex Cup iOS