2 ms·

I wonder who else is using his animation engine to do videos. It doesn't mention it in the docs. https://github.com/3b1b/manim https://github.com/3b1b/manim