He is literally the creator of Manim and used it for all his videos. He also publishes the source code of each video on his GitHub account.