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

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

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programmi…

Source files for my semestral project and undergraduate thesis