A binary search tree that colors every node red or black and keeps every path to a leaf at the same number of black nodes, following CLRS.
This interactive visualization needs JavaScript.