video author is using 3b1b's manim (https://github.com/3b1b/manim). wonderful presentation.