Ocaml software

Unless stated otherwise, the code available on this page is distributed under the terms of the GNU Library General Public License version 2, with the special exception on linking described in file LICENSE.

About the links above:
- The .ps are PostScript files automatically generated from the OCaml source code using ocamlweb.
- The .ml and .mli have been produced with Sébastien Ailleret's (now Martin Jambon's) caml2html.
- Click on the library / application name to download.

Data Structures

• Parray : Persistent arrays (.mli / .ml) ; see this article

• Puf : Persistent Union-Find (.mli / .ml) ; see this article

• Creal : exact real arithmetic

• Bitv : a bit vectors library (.ps | .mli)

• Bitset : bit vectors for small sets of integers (.mli | .ml)

• Patricia trees : Efficient sets and maps over integers (.ps | ptset.mli | ptmap.mli), from a paper by Chris Okasaki
  See also the related module Hashcons, Hset and Hmap below (to use Patricia trees on hash-consed values)

• Trie : Maps over lists (.ps | .mli)

• Heap : heaps, imperative and functional implementations (.ps | .mli)

• Rbset : red-black trees (.ps | .mli)
  This code has been certified using Coq; see this page

• Hashset : Sets coded as hash tables (easier to use and slightly more compact than using the Hashtbl module) (.ps | .mli)

• Suffix_tree : Ukkonen's algorithm (.mli | .ml)

• Ropes : (.mli | .ml) WORK IN PROGRESS! A quick, dirty and incomplete text editor using ropes: editor.ml (requires ocamlsdl, see below)

• Rbuffer : (.mli | .ml) Ropes-based implementation of module Buffer; for general-purpose ropes, see above.

• Poly : Polynomials with coefficients in any ring (.mli | .ml)

• Bdd : Binary decision diagrams (BDDs) (.mli | README)

Libraries

• ocamlgraph, an ocaml graph library

• cgi : a short library to write CGIs (.mli)

• ocamlsvga : interface for the Linux SVGAlib library

• ocamlsdl : interface for the SDL games library; includes support functions for OpenGL, to be used for instance with the lablGL bindings
  
  Note: there exists a similar, more advanced, project at OcamlSDL.sourceforge.net

• display : visualization of the internal representation of Caml values (.ps | .mli)

• size : memory size of a Caml value (.ps | .mli)

• hashcons : hash tables for hash consing (.ps | .mli). This technique is described in this paper.
  Hset / Hmap: Specialized Ptset and Ptmap modules (see above) on hash-consed values (hset.mli | hmap.mli).

• prtree : to print trees in a pstree-like way (.ps | .mli)

• search : functorized code for depth-first, breadth-first and iterative deepening searches (.ps | .mli)

Applications

• bibtex2html : BibTeX to HTML converter

• ocamlweb : a literate programming tool for Objective caml

• ocamlwc : a program to count the lines of code and documentation in ocaml sources (.ps)

• yamlpp : a very simple HTML preprocessor, inspired by Nicolas Thiery's htmlpp

Algorithmic

• Garsia-Wachs algorithm : implementation following The Art of Computer Prorgamming ; detailed description of this Ocaml code in this article (.mli / .ml)

• Delaunay triangulation : implements D. Knuth's algorithm from Axioms and Hulls. Complexity: O(N log N) time on the average; always O(N) space. Applies to any CCC system (see Axioms and Hulls). Note: this module is part of ocamlgraph but may be used independently. (.mli)

• DLX: Implementation of D. Knuth's Dancing Links algorithm (.mli / .ml / .ps)

• Knuth-Morris-Pratt string searching algorithm (.mli / .ml / .ps)

• Pentaminos : Computation of the number of solutions

• Solitaire : search of the solution (french solitaire) (.ps), with the help of Xavier Urbain. (in French)

• anagram.ml : Anagrams (.ps). To test it, here is a dictionary

• koda-ruskey.ml : Implementation of the Koda-Ruskey algorithm (.ps), inspired by D. E. Knuth implementation
  This code is detailed in this article (co-authored with François Pottier)

Games

• A mine-sweeper written in less than one hour for teaching purposes: demineur.ml / download

Documentation

• Ocaml tutorial in French : Initiation à la programmation fonctionnelle. Slides : DVI (for Active DVI) / PostScript

Miscellaneous

• Compilation : configure.in : an autoconf input for ocaml programs, and a suggested Makefile.in

• My entry to the ICFP Programming Contest 2001
• My entry to the ICFP Programming Contest 2003
• My entry to the ICFP Programming Contest 2004
• My entry to the ICFP Programming Contest 2006

Hacker: One who programs enthusiastically (even obsessively) or who enjoys programming rather than just theorizing about programming.

Some nice softwares written in ocaml (by other)

• Active DVI - at last nice presentations with LaTeX
• GeneWeb - Genealogy Software
• HeVeA - a LaTeX to HTML translator

Useful links

• Objective Caml home page
• The hump
• There are cool ocaml programs on Daniel de Rauglaudre's site
• The O'Caml Link Database by Gerd Stolpmann.
• Jon Harrop's book Objective Caml for scientists

Jokes

• The evolution of a Programmer