Stars
9
results
for source starred repositories
written in TeX
Clear filter
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
An open-source, customizable intermediate logic textbook
Structure and Interpretation of Computer Programs, Second Edition
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
A LaTeX package to typeset menu sequences, key strokes, paths etc.
Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories