Ilya Kokorin's repositories
big-data-introduction
Материалы проведённых мной занятий на тему "Введение в обработку больших данных"
parser-generator
Simple parser and lexer generator for LL(1) grammars
computational_methods
Computational methods course in IFMO University
Language:TeX000
fp-homework
Homeworks for functional programming course in IFMO
idris-examples
Some examples of programs with dependent types from Type Theory course in IFMO University.
Language:Python000
software-engineering-IFMO
Software Engineering course at IFMO University