atmm (pypi): Animation Time Manager for Manim
Keywords: Animation|Time|Manager|Manim|manim|timeline