Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

..
Failed to load latest commit information.
asl
basics
calc
colwheel
compress
config
demonstr
docteur
grep
hanoi
kb
minicaml Sources initiaux de l'INRIA. version du 03-10-2012
minilogo
pascal
picomach
showsort
spirals
Imakefile
Makefile
README

README

This directory contains some examples of Caml programs.

The examples can either be compiled and executed as standalone programs
(just type "make" in the subdirectory), or run interactively under
"camllight" (the graphics programs must be run under "camlgraph"), by
executing 
                include "loadall";;

in the appropriate directory.

Examples marked (*) are taken from the book ``Le langage Caml'', by
Pierre Weis and Xavier Leroy (InterEditions, 1993). Messages and
identifiers are in French and contain accented letters (ISO 8859-1
encoding). You'll need an 8-bit clean system to read them.

Examples marked (G) assume installed the contrib/libgraph library.

basics:
        Three all-time favorites: Fibonacci, Eratosthene's sieve, and the
        Unix "wc" utility.

asl:
        This is the implementation of A Small Language, as described in
        part 3 of ``Functional Programming using Caml Light'', by
        Michel Mauny.

calc:
        This is a simple desk calculator that illustrates the use of camllex 
        and camlyacc.

colwheel: (G)
        The "color wheel" (color space in HSV coordinates).
        Needs at least 256 colors to look good.

compress: (*)
        File compression and decompression (Huffman).

demonstr: (*)
        Tautology checker.

docteur: (*)
        A (French-speaking) clone of Eliza.

grep: (*)
        Regular expressions and automata.

hanoi: (*)
        Animated towers of Hanoi.

kb:
        The Knuth-Bendix completion procedure for rewriting systems.
        Taken from some course notes by Gerard Huet.

minicaml: (*)
        An interpreter and typechecker for a subset of Caml.

minilogo: (*) (G)
        An interpreter for a small language with turtle graphics.

pascal: (*)
        An interpreter and compiler for a subset of Pascal.
        The compiler generates code for the "picomach" program.

picomach: (*)
        An assembler and simulator for a RISC processor.

showsort: (G)
        Graphic animation of sorting algorithms.

spirals: (G)
        Explore a family of flashy curves. (Use spir on a color screen
        and spir-bw on a black and white screen.)

config:
        This directory does not contain an example, but configuration
        files used to generate the Makefiles.
Something went wrong with that request. Please try again.