# Recommend UI Frameworks in 2024

**URL:** <https://discuss.ocaml.org/t/recommend-ui-frameworks-in-2024/13771>\
**Category:** Ecosystem\
**Tags:** gui, lablgtk\
**Created:** [January 3, 2024, 3:38pm UTC](https://discuss.ocaml.org/t/recommend-ui-frameworks-in-2024/13771 "2024-01-03T15:38:37Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![yawaramin](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/yawaramin/32/3384_2.png) [@yawaramin](https://discuss.ocaml.org/u/yawaramin)\
**Post date:** [January 3, 2024, 3:48pm UTC](https://discuss.ocaml.org/t/recommend-ui-frameworks-in-2024/13771/2 "2024-01-03T15:48:52Z")

</div>

I think the biggest one is Lablgtk. It’s used by the Coq theorem prover. See [Trying the 7GUIs with LablGTK3/OCaml](https://discuss.ocaml.org/t/trying-the-7guis-with-lablgtk3-ocaml/12033)

Sanette’s Bogue also seems to be actively maintained.

---

_[View the full topic](https://discuss.ocaml.org/t/recommend-ui-frameworks-in-2024/13771)._