Manim

Manim 是由国外大佬 Grant Sanderson 开发的一款用Python制作数学动画的软件。

该软件由24895在数学科普社活动上介绍，在248的电脑中保存了完整的代码。 该软件也是24895做视频时常用软件。