Gtk-light aims to provide a syntactically light wrapper for lablgtk. The syntax is influenced heavily by Chris King's ocamlrt.
Gtk-light is currently available through git, hosted here on the forge.