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: Science

Objective CAML for Scientists [23-Nov-2005, Stable]
This book teaches the fundamentals of programming using OCaml, assuming little prior knowledge of computer programming. Particular emphasis is placed upon programming paradigms rarely seen in current scientific computing, such as exceptions, polymorphism, higher-order functions, nested functions, pattern matching and modules.
Author: Jon Harrop.
Scientific software
Planets [30-Dec-2002, version 0.1.12, Stable]
A simple interactive program for playing with simulations of planetary systems.
Author: Yaron M. Minsky.
Scientific software
Polygen [14-Oct-2003, version 1.0pre] Has a documentation
PolyGen is a program for generating random sentences according to a grammar definition, that is following custom syntactical and lexical rules.
Author: Alvise Spano.
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.
Native OCaml libraries
Timbuk [05-Apr-2002, version 2.0, Stable]
Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata).