Lists (2)
Starred repositories
4
results
for source starred repositories
written in TeX
Clear filter
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