[Savannah-hackers] savannah.gnu.org: submission of GeoCaml

[adoniec]

A package was submitted to savannah.gnu.org.
This mail was sent to address@hidden, address@hidden


arnaud doniec <address@hidden> described the package as follows:
License: gpl
Other License: 
Package: GeoCaml
System name: geocaml
This package does NOT want to apply for inclusion in the GNU project

My project is about euclidian geometry. Many tools exists (free or not) and can 
be used to draw figure (for example Cabri, Dr Geo...). 
All this program have a graphical interface. My approach would be different. In 
my program, the user will be able to construct his figure using specifical 
langage. It would be something like that:
        let A a point
        let B a point
        let C middle of A and B ...
The langage chosen is OCaml a high functionnal langage which is fast and quite 
portable. Moreover OCaml offers lots of tool like OCamlLex and OCamlYacc which 
help me to write a parser. The latter will analyse the text typed by user and 
will generate a XML file. Two visualisations of figures will be available. A 
simple visualisation using the graphics ocaml output and a second using the 
Postcript format (some stylesheet written in XSLT will enable to create 
PStricks instructions).
My project will also contain  prover in order to have demonstration of simple 
geometrical property in figures.
All this work will be done as a part of my master\'s degree in computer.
Thanks for all.

------------

It does not exist yet but I\'m working on it.