LablGtk is an OCaml interface to GTK+ 1.2 and 2.x.
It provides a strongly-typed, yet comfortable, object-oriented interface
compatible with GTK+'s dynamic typing through OCaml's rich type system. Most
widgets and methods are available, along with many examples.
LablGtk also provides bindings to libglade (and can generate OCaml code from
.glade files), gdk-pixbuf, gnomecanvas, librsvg, libpanel and the GLArea
widget (in combination with LablGL). The toplevel can be used for interactive development.
Tutorials And Introduction Material
Development and Support
: A library to handle various image formats; includes support for
by Maxence Guesdon. Tools and modules for LablGtk2 applications.
: A library to graphically manipulate boxes linked with edges. This
can be used to edit graphs, diagrams, ...
- The Coq Proof Assistant
: CoqIDE, its GUI interface, uses LablGtk.
: A 3D animation player for the Outcast game; also uses LablGL.
- Unison File Synchronizer
by Benjamin Pierce et al.
Legacy GTK+-1 support