The OSP decisions are finally in. We got an impressive collection of proposals, and from that collection we’ve selected six that we think can make a real contribution to the OCaml ecosystem. Here is a quick description of the proposals we’ve selected:

• ocamlwizard: A set of batch-oriented tools to support IDE-like features in various different platforms, such as Eclipse or Emacs. Features to be supported include contextual help, path completion, and refactoring.
• multicore: An effort to create a new multicore-capable GC and runtime for the OCaml system.
• menhir enhancements: A set of improvements to the menhir parser-generator, including a new table-based back-end that will prevent menhir from creating oversized parsers.
• qtcaml: Steps towards creating a Qt binding for OCaml. The work this summer will focus on tools to support the semi-automatic generation of interfaces between OCaml and C++.
• delimited overloading: A syntax extension to ease the writing of efficient arithmetic expressions in OCaml.
• easy ocaml: A pedagogically-aimed front-end for the OCaml runtime that supports limited versions of the language with fewer features and better error messages, in the style of HtDP and PLT-Scheme.

In the next few days, we intend to post the full text of the selected proposals. We’d like to thank all of the people who contributed proposals this year. As always, there were a lot of good proposals that we couldn’t fund.