[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-hackers] savannah.gnu.org: submission of GeoCaml
From: |
adoniec |
Subject: |
[Savannah-hackers] savannah.gnu.org: submission of GeoCaml |
Date: |
Wed, 26 Dec 2001 18:27:54 -0500 |
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.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Savannah-hackers] savannah.gnu.org: submission of GeoCaml,
adoniec <=