They are using Textual.

https://textual.textualize.io/

Looks like Textual[1] -- the buttons are always a giveaway

[1] https://github.com/Textualize/textual

Dunno, I put it in the title.