Looking at their book, many of their sections for more advanced algorithms refer to the implementations with only a high-level overview of the algorithm. Their source code (by nature) is completely rigorous and nuanced. But what I imagine most people are looking for in a resource like this is something in between.