Animations in the lectures are created using Manim Community Edition (ManimCE) and ManimGL.

 

The Manim Community Developers. (2025). 
Manim – Mathematical Animation Framework (Version v0.19.0) [Computer software].
https://www.manim.community/

 

ManimGL repository:
https://github.com/3b1b/manim