The manim source code for this video: https://youtu.be/a88ZjPzPgsI
Manim is a community-maintained Python library for creating mathematical animations. You can find it repository here.
The generated video is will not be exactly the same as the YT video, as I did some extra editing.