LablGtk

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

README
LablGtk2 Tutorial by SooHyoung Oh. A LablGtk translation of the Gtk+ Tutorial.
Treeview Tutorial by SooHyoung Oh (in-progress).

API Documentation

API documentation
The GTK+2 Widgets and Objects page from the GTK+ documentation and the whole GTK+ 2 Reference Manual

Downloads

lablgtk-2.16.0.tar.gz : The latest release with several bugfixes, extended API and improved thread support.
See the ChangeLog for details. Erratum: using DESTDIR is only supported by old-install.
lablgtk-2.16.0-win32.zip : Windows binaries for OCaml 4.00 (mingw), requiring only runtime packages from Gnome's FTP.
Read the installation instructions first.
Download area with all files released.

Development and Support

Project page on the OCaml Forge
Bug Tracker
Gitweb
Mailing-list web interface
ChangeLog
Git access details; all branches except 'lablgtk1' are for GTK+-2.

Related Libraries And Applications

CamlImages : A library to handle various image formats; includes support for LablGtk.
LablGtk-extras by Maxence Guesdon. Tools and modules for LablGtk2 applications.
OCaml-boxes : 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.
Motazaar by malc : A 3D animation player for the Outcast game; also uses LablGL.
Unison File Synchronizer by Benjamin Pierce et al.