[Caml-list] OCaml Project in Google Summer of Code
Yoriyuki Yamagata
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.
--
yoriyuki
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Yoriyuki Yamagata
> 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.
By the way, the submission deadline is March 24. So be harry.
Submission uses a web interface.
http://groups.google.com/group/google-summer-of-code-announce/web/guide-to-the-gsoc-web-app-for-student-applicants