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

A quite complete and fast LATEX to HTML translator written in Objective Caml.

Active-DVI is a Unix-platform DVI previewer and a programmable presenter for slides written in LaTeX.

A proof assistant.

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.

A genealogy software with a Web interface. It can be used off-line or as a Web service.

A linux client developed in Objective Caml for several peer-to-peer file sharing networks.

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.

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.

Ant is not TeX. It is a typesetting system similar to TeX. The current version is written in Objective Caml.

SynDEx is a graphical interactive software with on-line documentation, implementing the AAA methodology.