Bootstrap yourself to write an OS from scratch. A book for self-learner.

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

A textbook on informal homotopy type theory

A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis

Repository for the Stacks Project

papers of Per Martin Löf

HoTTEST Summer School materials

Categorical logic from a categorical point of view

LaTeX version of Grothendieck's Pursuing Stacks

Notes on higher-order typed compilation. Probably wrong

Work on modular implicits

some maths papers in English