Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: Applications written in Caml :: Major applications

Communications and networking


Major applications
Geneweb [09-Aug-2001, version 4.09, Stable] Has a documentation
A genealogy software with a Web interface. It can be used off-line or as a Web service.


Major applications
MLDonkey [16-Oct-2002, version 2.00, Stable] Has a documentation
A linux client developed in Objective Caml for several peer-to-peer file sharing networks.
Author: [b8]bavard.


Major applications
SpamOracle [26-Aug-2002, version 1.4, Stable] Has a documentation
SpamOracle, a.k.a. "Saint Peter", is a tool to help detect and filter away "spam" (unsolicited commercial e-mail). It proceeds by statistical analysis of the words that appear in the e-mail, comparing the frequencies of words with those found in a user-provided corpus of known spam and known legitimate e-mail. The classification algorithm is based on Bayes' formula, and is described in Paul Graham's paper, A plan for spam.
Author: Xavier Leroy.


Major applications
Active-DVI [29-Aug-2011, version 1.10.0, Stable] Has a documentation
Active-DVI is a Unix-platform DVI previewer and a programmable presenter for slides written in LaTeX.
Major applications
Ant [19-Dec-2007, version 0.8, Beta] Has a documentation
Ant is not TeX. It is a typesetting system similar to TeX. The current version is written in Objective Caml.
Major applications
Bibtex2html [01-Jan-2004, version 0.69, Stable] Has a documentation
bibtex2html is a collection of tools for translating from BibTeX to HTML. They allow to produce, from a set of bibliography files in BibTeX format, a bibliography in HTML format.
Major applications
Hevea [10-Sep-2012, version 2.00, Mature] Has a Godi packageHas a documentationHas a tutorial
A quite complete and fast LATEX to HTML translator written in Objective Caml.
Author: Luc Maranget.


Major applications
Syndex [10-Sep-2002, version 6.7.0, Mature] Has a documentationHas a tutorial
SynDEx is a graphical interactive software with on-line documentation, implementing the AAA methodology.
Author: Yves Sorel.

Maths and Logic

Major applications
Coq [18-Oct-2010, version 8.3, Stable] Has a documentationHas a tutorial
A proof assistant.


File systems and system administration

Major applications
Unison [09-Aug-2001, version 2.9.1, Mature] Has a Godi packageHas a documentation
Unison is a file-synchronization tool for Unix and Windows. (It also works on OSX to some extent, but it does not yet deal with 'resource forks' correctly; more information on OSX usage can be found on the unison-users mailing list archives.) It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.