How 3blue1brown does the animations for the videos

And the best part? It is opensource!

3 Likes

Nice! I have already kind of forgotten about Manim. I played with it for a while in early 2022, but found it rather difficult to use and also I didn’t have anything where I could have used it. Good to see that there are big improvements in the code… I certainly had the whole thing rendered into a temporary .mp4 and played back on the screen after each run :sweat_smile:, so the partial re-render is certainly useful.