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