Manim is an open-source Python library for precise programmatic animations, built to create explanatory math videos.