It is using JavaScript for user interface customization via:

https://gpui-kit.com/shell/