TekUI integration with a builder might be an interesting feature. It's a bit dated but the latest release compiles just fine and examples work. Years ago I tried it also on a small Allwinner ARM board with output to the framebuffer (no Xorg) and it worked fine. I wonder why it is still semi-unknown.

http://tekui.neoscientists.org/

Tiny nitpick: It's ZeroBrane

It's an IDE, but it allows building full GUI apps. It's itself written in Lua using wxlua/wxwidgets toolkit, so has access to the majority of the modules availables in wxwidgets. The binaries are also bundled with the IDE for all supported platforms, so you can develop and package your own application in the same way.