Todas as animações são feitas utilizando o Manim, e o código fonte para todas são colocadas nesse repositório.