Igor Zhirkov's repositories
low-level-programming
Source code for 'Low-Level Programming' by Igor Zhirkov
stepik-c-course
Материалы для курса "Программирование на C и выполнение программ"
dynamic-libraries-course
Course materials
c-hashmap-example
An exemplary hashmap implementation for strings
forthress-2
an alternative version of Forthress with a better thought-out syntax and VM
jurnalu-downloader
a tool to download comic books from jurnalu dot ru
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
csharp-algorithms
Some algorithms I have implemented in C sharp. For history rather than for real world usage.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
lmv-talk
Coq: reflection and mathematical hierarchies
mlcourse.ai
Open Machine Learning course mlcourse.ai, both in English and Russian
ocaml-opengl-minimal
A dune project containing a minimal program that draws an empty window
plcomp.github.io
Журнал о теории и практике разработки компиляторов
reinforced-learning
Notes and exercises
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
spacemacs-tablegen-layer
A layer that packs a modified version of tablegen-mode from llvm
visit-card
my own visit card