This guy makes excellent math visualization videos -- some of the best I've ever seen.

Yes! I really enjoy them as well-- and he has his animation software on github: https://github.com/3b1b/manim