GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0, and 2.1, plus extensions. It is intended as a compact drop-in binding. It is a direct, dynamic binding to OpenGL. An OCaml SDL binding is provided as well, along with texture-map scaling functions, texture mip-map generators, and a bitmapped font library. Extensive documentation and more than 20 examples are provided.
Goba (Game Of Bases) is a remake of the classic Flash Attack game featuring pre-rendered graphics, sound, and networking (no computer opponents) with meta-server support. You control four tanks and try to destroy enemy bases while defending your own. The tanks have weapons, a set of mines, and the capability to build walls and fake bases, all of which may be recharged back at the base. The bases have a limited number of bomb attacks in their disposal, plus a laser beam that can cut through the whole game field (2000 x 2000 pixels).
Document clustering is a data mining suite to cluster a document set. This set of tools was implemented from a series of papers: "Clustering Web Pages Semantically using Combinatorial Topology", "Data mining using granular computing", and "A fast association rule algorithm based on bitmap and granular computing".
NVM Virtual Machine is a small, fast, extensible and portable virtual machine. It can be used, for example, as a scripting engine in microcontrollers. It can be configured to work in a few modes (with a machine word equal to 16, 32, or 64 bits) depending on user needs. Programming is done using an ASM-like language or a (simple) higher level language which is implemented using ocamllex and ocamlyacc.