Lists (10)
Stars
📄 Awesome CV is LaTeX template for your outstanding job application
A one page , two asymmetric column resume template in XeTeX that caters to an undergraduate Computer Science student
minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.
A Tufte-inspired LaTeX class for producing handouts, papers, and books
A book about compiling Racket and Python to x86-64 assembly
🎓📄 The LaTeX file that I used as the base for all my homework in university.
An open-source, customizable intermediate logic textbook
Structure and Interpretation of Computer Programs, Second Edition
biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports UTF-8
Template for a simple resume or curriculum vitae (CV), in XeLaTeX.
Research on integrating datalog & lambda calculus via monotonicity types
SICP PDF adapted to pocket format (for small e-reader screens)
Denotational Design: from programs to meanings
LaTeX class and template for typesetting math homework
A tutorial to the Idris Programming Language.
A collection of LaTeX related stuff that I think is worth sharing
Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
papers I am working on / have submitted pre-2017. see my website ->