An iterative red-black tree with obvious semantics and powerful iteration. - View it on GitHub