Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

A Portable Graphic Format for TeX

An open-source, customizable intermediate logic textbook

Russian translation of Okasaki's Purely Functional Data Structures

HSE materials

Linear Algebra Course being taught in HSE in 2020/2021 (in russian)

Here you can find HSE algo lectures 2019

My CV and its sources

Talk on Deterministic Algorithms for the Lovász Local Lemma