Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A Tufte-inspired LaTeX class for producing handouts, papers, and books

Bootstrap yourself to write an OS from scratch. A book for self-learner.

A talk on parametricity

https://openpal.github.io/TypeAndProof/

A tutorial to the Idris Programming Language.

Course materials for a Calculus MOOC

An introduction to lambda calculus in Chinese, including an interpreter in Haskell.