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

The Caml Hump: Open Source :: CeCILL

Science

Maths and Logic

Scientific software
CiME [09-Jan-2012, version 3, Stable] Has a documentation
A rewrite and constraint-solver tool.
Author: Claude Marché.
Scientific software
Mjollnir [10-Jul-2009, version 2009-07-10, Beta]
Mjollnir implements various quantifier eliminations algorithms for the theory of real (or rational) linear arithmetic.
Author: David Monniaux.

Biology

Native OCaml libraries
MyCGR [03-Jul-2006, version 0.98, Beta] Has a tutorial
This software implements the researches of the thesis of Peggy Cénac. Use the CGR to build a new family of tests of structure of sequences (i.i.d., markovian), empirically check the level and power of the tests and apply them on DNA sequences. Generalize the dinucleotide abundance profile to a CGR-based relative abundance profile and use this profile on DNA sequences to build taxonomy trees. Define CGR-trees, which are Digital Search Trees built from sequences, and check that the empirical longest branches, shortest branches and insertion level match the theorical results of the thesis.

XML

XML specific languages

Development tools
XStream [29-Jun-2006, version 0.1, Beta] Has a documentation
XStream is a simple functional transformation language for XML documents. XML transformations written in XStream are evaluated in streaming: when possible, parts of the output are computed and produced while the input document is still being parsed. Some transformations can thus be applied to huge XML documents which would not even fit in memory.
Author: Alain Frisch.