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
- the GLArea widget (in combination with
- gtksourceview 1&2,
- libglade (and can generate OCaml code from .glade files),
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 LablGtk.
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 source code editor with OCaml being the equivalent of Elisp of Emacs.
: A small library to ease the creation of graphical toplevels.
: A Gtk2 graphical interface for the OCaml toplevel.
: A 3D animation player for the Outcast game; also uses LablGL.
- Unison File Synchronizer
by Benjamin Pierce et al.
Legacy GTK+-1 support