OCaml Programming

OCamlplot

Gz

An interface for zlib and bzip2 compression libraries.
On sourceforge too.

Odoc_texi

A Texinfo generator for
OCamldoc : odoc_texi.ml. It produces .texi files
that can be converted to Info files using makeinfo. It is now part of OCamldoc,
which is now included in the OCaml distribution.

There is some helper Emacs-lisp code that automatically search the Info files for
a requested identifier : caml-info-look. It even works with opened modules or
modules aliases !
You can also use caml-help.el from the OCaml distribution.

OCamlSDL

Libart

Libart is a 2D, vector-based drawing library. It is used by GNOME
in the GNOME Canvas and in Nautilus.
These are bindings that interface Libart with CamlImages, LablGTK
and OCamlSDL.
Here is some reference documentation,
the author's site.

LablGTK

Cairo

I contributed bindings for the Cairo vector graphics
library. The code is hosted on freedesktop.org.
There are no tarballs yet but the code is in the CVS. Here is the
OCamldoc-generated documentation.

CORBA and OCaml

I am writing bindings for ORBit2,
the CORBA ORB of the GNOME project. There is a IDL compiler that maps CORBA types to OCaml
types, and a runtime library that does the necessary conversions. It requires a fairly recent version
of ORBit2 (>= 2.7.2).

pa_compr

The expr_list is evaluated (it must be of a list type), then for each element that matches the pattern patt, expr is evaluated to build a new list. You can have multiple list_compr_item. It all expands to some combination of List.fold_right.