Both stripe.com and vercel.com have a really cool code editor animation on their landing page, which when I inspect it, is compiled to HTML.
What javascript libraries
