Stars
11
stars
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
scholmd / scholmd
Forked from karthik/markdown_scienceLearn how to use scholarly markdown
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.
A Password hashing scheme that prevents an attacker from cracking passwords individually and efficiently.
Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories