GNU libavl is a library in ANSI/ISO C for the manipulation of binary trees and balanced binary trees. It is written using a literate programming system called TexiWEB. By way of TexiWEB, libavl is as much a textbook on binary trees and balanced binary trees as it is a collection of code.