What's the name of this html builder?

Happy new year!

I saw several authors on ThemeForest using a similar HTML builder (see screenshot as follows), some of them have also customized it. Can anyone kindly let me know the name of the editor?

Thanks

I think flatpak-builder