Tools used for developing this website # Hugo website hosted on Github Pages, using Hugo Book Theme Manim Community v0.11.0 for animations