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.

Browse thread
OCaml Project in Google Summer of Code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-03-15 (16:43)
From: Yoriyuki Yamagata <yoriyuki.y@g...>
Subject: OCaml Project in Google Summer of Code
The FreeSoftware Initiative Japan(http://www.fsij.org/) is looking for
participants of Google Summer of Code(http://code.google.com/soc).
Proposed ideas (https://members.fsij.org/trac/soc2007/wiki/Ideas)
include OCaml related projects.
We also accept proposals not directly related to proposed ideas.  If
your project is selected, you are paid 4500$ from Google.

Please read carefully http://code.google.com/soc/tos.html and
https://members.fsij.org/trac/soc2007/wiki/Ideas before submitting
your proposal.  Feel free to ask me if you have a question.

OCaml projects are

*Improve OCaml internationalization

There is no specific requirement. The idea includes

    - Create a syntax extension which handle Unicode strings and
locale-sensitive messages. Create a Unicode-based, locale-sensitive
alternative of the standard library.
    - Create a binding of ICU. Binding must not be bare-bone wrapping.
It must be well integrated to OCaml and its programming customs.

We accept other ideas as well.

* Create Ajax development tool for OCaml

Enable seamless Web development by generating JavaScript from OCaml
and integrating it to Web framework.

* Improve Eclipse plugin of OCaml

There is no specific requirement. Please propose suitable improvements.

Also we have a project about automatic source code verifiers.

*Automatic program verifier

Develop an automatic program verifier with the following features.

    - Accept any programs in popular programing languages such as
C/Java/Ruby and so on.
    - Produce correct answers for programs in a practical subset of
the language.
    - Produce approximate answers for all programs in the language.
    - Performance is not a goal. It suffices to demonstrate its
capability to small code fragments. However, it must have modular
design to future improvement.