I think the biggest one is Lablgtk. It’s used by the Coq theorem prover. See Trying the 7GUIs with LablGTK3/OCaml
Sanette’s Bogue also seems to be actively maintained.
I think the biggest one is Lablgtk. It’s used by the Coq theorem prover. See Trying the 7GUIs with LablGTK3/OCaml
Sanette’s Bogue also seems to be actively maintained.