Author here. I rendered (most of the) equations with QuickLaTeX (https://quicklatex.com/), and put the illustrations together in Inkscape by hand (https://inkscape.org/).

looks like Manim.

I would like to know this too

graphviz? [0]

[0] https://graphviz.org/gallery/