I'm pretty sure he uses his own software that he wrote in python to do it all.

From his YouTube comments, he wrote his own engine in Python and open sourced it -- https://github.com/3b1b/manim