https://github.com/instavm/manim-studio the library 3blue1brown uses for math-animation. sophia-wood shared this.