They are using Textual.

https://textual.textualize.io/

thank you!