Great writeup. Are there any libraries that implement some of the methods described?