apolyakov

Compiler engineer, programming languages researcher.

@VKCOM

Pinned Repositories

articles
Papers sources, pictures, presentations, and other stuff
Language:TeX01
dog-breed-classifier
A convolutional neural network trained to classify dog breeds.
Language:Python00
dpll-sat
A simple DPLL-based SAT-solver implemented as a part of Mathematical Logic course.
Language:Python00
Formal-Languages
Language:Python00
GSoC-2018
The post about my GSoC'18 project.
11
lldb
Mirror of official lldb git repository located at http://llvm.org/git/lldb. Updated every five minutes.
Language:C++00
master-diploma
Language:TeX00
stochastic_programming_course
Language:Python11
TuringMachineToGrammar
Language:Python00
kphp
KPHP — a PHP compiler
Language:C++1.3k 53 20390

apolyakov's Repositories

apolyakov/GSoC-2018
The post about my GSoC'18 project.
11
apolyakov/stochastic_programming_course
Language:Python11
apolyakov/articles
Papers sources, pictures, presentations, and other stuff
Language:TeX01
apolyakov/dog-breed-classifier
A convolutional neural network trained to classify dog breeds.
Language:Python00
apolyakov/dpll-sat
A simple DPLL-based SAT-solver implemented as a part of Mathematical Logic course.
Language:Python00
apolyakov/Formal-Languages
Language:Python00
apolyakov/lldb
Mirror of official lldb git repository located at http://llvm.org/git/lldb. Updated every five minutes.
Language:C++00
apolyakov/master-diploma
Language:TeX00
apolyakov/TuringMachineToGrammar
Language:Python00