ManimCommunity / manim Python 42K 3.3K A community-maintained Python framework for creating mathematical animations. math python manim animations