Ask HN: Which tools are used to generate diagrams in this article?

The post https://mattferraro.dev/posts/inverse-of-a-circle hit HN front page a few weeks ago.

Anyone here knows which tools the author is using to generate the beautiful diagrams?