from Hacker News

I've come across these cool animated code editor UI components on many companies landing pages.

See for example https://stripe.com/

How are these created? Are there any tools that allow these to be animated components to be created?

Thanks in advance