English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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


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.
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.


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
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
Coq [18-Oct-2010, version 8.3, Stable] Has a documentationHas a tutorial
A proof assistant.
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
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.