He built a python library for his visualizations called manim available on his github [1].

[1] https://github.com/3b1b/manim