Lists (1)
Stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A book about compiling Racket and Python to x86-64 assembly
Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete implementations.
Collection of different LaTeX/XeTeX templates (cv, invoices, timesheets, letters, etc.).
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
A document version of my "Vipassana for Hackers" talk
Solutions to "Introduction to Algorithm, 3rd Edition"
Some LaTeX code snippets I've hacked together over the years.