Namespaces for OCaml
I need this!
Namespaces would enable users to create a hierarchy of names for compilation units. No more conflicts between unit names in different libraries. Namespaces would be extensible, any library would be allowed to add modules in a namespace.

Better Windows Support for OCaml
I need this!
Using OCaml on Windows is not as simple as using it under Unix. A better support of Windows would start with compiled binaries, for Cygwin, Mingw and MSVC. Tools would better understand Windows specificities, and libraries would be really system-independant. For a start.

TypeRex for Eclipse
I need this!
TypeRex is our development studio for OCaml. It works well with Emacs, but modern users like to use Eclipse for everything. Porting TypeRex to Eclipse is an important task, for OCaml to keep on as a mainstream language.