Lists (1)
Starred repositories
9
stars
written in TeX
Clear filter
Bootstrap yourself to write an OS from scratch. A book for self-learner.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Open Source Introductory Systems Programming Textbook for the University of Illinois
Textbook on Gödel's incompleteness theorems and computability theory
Notes written while consulting for the Higher Order Company