Ask HN: Which textbooks are literate programs?

There are two GNU projects that do so for their documentation. Libavl and GNU Axiom.

Libavl documentation - An Introduction to Binary Search Trees and Balanced Trees (see libavl-2.0.3.pdf.gz from https://adtinfo.org/ for the book itself.)