manim-live (pypi): Program that uses manim and can display animations and be controlled live
Keywords: animations