LablGtk

LablGtk is an OCaml interface to GTK+ 1.2, 2.x, and 3.x.

LablGtk also provides bindings to

• gdk-pixbuf,
• the GLArea widget (in combination with LablGL),
• gnomecanvas,
• gnomeui,
• gtksourceview 1, 2, and 3,
• gtkspell 1 and 3,
• libglade (and can generate OCaml code from .glade files),
• libpanel,
• librsvg,
• quartz.

The toplevel can be used for interactive development.

Tutorials And Introduction Material

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

API Documentation

• API documentation for LablGtk2
• API documentation for LablGtk3 and associated packages
• The GTK+2 Widgets and Objects page from the GTK+ documentation and the whole GTK+ 2 Reference Manual

Downloads

• lablgtk3-3.1.5.tar.bz : Latest release of LablGtk3, which is a port or LablGtk2 to Gtk-3. See the README and ChangeLog for details.
• lablgtk-2.18.13.tar.gz : Latest release of LablGtk2.
  See the ChangeLog for details.
• lablgtk-2.18.12.tar.gz : The previous release, compatible with OCaml 4.14.
• lablgtk-3.1.4.tar.bz : The previous release of LablGtk3.
• lablgtk-2.18.1-win32.zip : Windows binaries for the OCaml Windows installer 4.01, 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 (deprecated)
• Project page on GitHub (active)
• Bug Tracker
• Mailing-list web interface (only old mail)
• ChangeLog for LablGtk2 and LablGtk3

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.
• Chamo : A source code editor with OCaml being the equivalent of Elisp of Emacs.
• Gtktop : A small library to ease the creation of graphical toplevels.
• OCamltop-gtk : A Gtk2 graphical interface for the OCaml toplevel.
• Motazaar by malc : A 3D animation player for the Outcast game; also uses LablGL.
• Unison File Synchronizer by Benjamin Pierce et al.

Legacy GTK+-1 support

• README
• ChangeLog