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

General purpose libraries

Data structures

Applications written in Caml
/UbiEst/ [29-Jan-2008, version 1.5, Stable]
/UbiEst/ is intended to be a indexer, allowing *structural* and *compound* searches into a "bunch" of documents (files). What is an indexer ? An indexer is a program recording the occurrences of words among documents and enable to point on them (quickly if possible). A detailled explanation is available in the distribution, but in two or three words... By *structural* indexing, we mean that /UbiEst/ not only maps words onto their locations, but also structures of the indexed documents. By *compound* indexing, we mean that /UbiEst/ does not allow to request to find occurrences of simple words among the indexed document. requests can be combined by the mean of operators. By combining requests, you not only get simple occurrences of words, but rather /extends/ (i.e. piece of text) containing information fitting you global request. /UbiEst/ is developped in Objective Caml and a graphical user interface based on Gtk (Lablgtk) is available.

Languages interfaces

Applications written in Caml
Confluence [25-Mar-2004, version 0.9, Beta] Has a documentationHas a tutorial
A powerful logic design language that combines the dataflow and component-based methodologies of HDL with the expressiveness of modern functional programming.
Author: Tom Hawkins.



Applications written in Caml
Liquidsoap [11-Mar-2010, version 0.9.2-2, Stable] Has a documentation
Savonet is a set of open-source developments around audio stream generation (ogg/mp3/...), and particularly web-radios using Icecast. It is written in OCaml. The heart, liquidsoap, is a very powerful and flexible streaming language, abstracting over format, protocol, stream generation, manipulation and output. Allowing arbitrarily deep-nested composition of streams and easy extensibility, it gives you more power than you need for creating an original web-radio. But liquidsoap is still very light and easy to use, in the Unix tradition of many simple strong components working together.


Maths and Logic

Applications written in Caml
GlSurf [25-Aug-2003, version 2.0, Beta] Has a documentation
A program (similar to Surf) to draw surfaces from their implicit equations.


Applications written in Caml
Ott [08-Jan-2007, version 0.10.2, Alpha] Has a documentationHas a tutorial
tool for semantic definitions of programming languages and calculi. The tool takes as input a definition of a language syntax and semantic relations, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It builds parsers for symbolic and concrete terms of the language, generates LaTeX to build a typeset version of the definition, and generates Coq, HOL, and Isabelle versions of the definition.


Applications written in Caml
Demexp [16-Aug-2005, version 0.6.0, Stable] Has a documentation
The demexp project is a free software project (GNU GPL) that aims at making the software needed to start the democratic experience project. The democratic experience is a large scale project of direct democracy. It aims at providing the tools to facilitate the expression of all citizens, to transform this expression into decisions, and to apply this decision.
Author: David Mentre.