I had the chance to use Manim during my college undergraduate project, it was very scrappy, but the library was very intuitive to use. And now this makes me wonder if there are other similar libraries like Manim for these more videographic oriented production.