[_delirium]

That is definitely one of the things he does better than most. He actually wrote his own custom animation library for math animations: https://github.com/3b1b/manim

[divan]

Also check out community edition: https://www.manim.community