I never knew he made a whole open source project for it, nor that it was even a library doing the animation. I thought he hand-animated his videos. Brilliant.
What made his videos catch my eye was the plotting of the vector text fonts, I love that effect. I'm pretty sure he used the Hershey fonts in early videos.