Manim — открытая Python-библиотека для точных программных анимаций, созданная для объясняющих видео по математике.