PLEAC-Objective CAML. If you know the Perl Cookbook, you might be interested in this - it's simply the problem statements from the Perl Cookbook in Objective Caml. Generally, the PLEAC project provides the same for various programming languages, but OCaml is the only language besides Perl and Groovy with 100% coverage.
ocaml
Opa: Advancing web development to the next generation. I think I mentioned this in the old blog, but what the heck - now the code is on github and under an open source license. And the entire project is not just something that has recently come out - it has 10 years of research behind it, the people really know what they are doing. The idea is cool (and has already been adopted by others as well): a language from which all layers of web applications are generated, including JavaScript, HTML, CSS, and the backend. All of this with type safety and corresponding checks and, for example, resulting security against injections and XSS attacks. And the language runs on OCaml underneath, which is also not the worst language. I should really seriously deal with this, especially since distributed installation comes along with it - and thus a far easier scalability is given than with many other approaches (the one from OPA reminds in a certain way of the one from Erlang-based systems). Oh, and web applications are then simply just a single executable - and not gigantic directory structures with thirty-nine XML files (or YAML files) to customize.
pmundkur/odisco. An implementation of Map/Reduce according to the Disco Worker model in Objective Caml. There's already something like this for Python. If I ever want to play around with OCaml again.
Archives of the Caml Mailing list: O'Caml for DOS - because I just stumbled upon it again. Wow, 96, that's a long time ago. Why is OCaml always listed as such a modern language? It's already 14 years old ... (and the language on which OCaml is based - Caml Light - is even older)
High-Level Virtual Machine (HLVM) - interesting project for a virtual machine. Written in OCaml.
Ocsigen - looks like something comparable to Ur/Web, which is based on the OCaml toolchain and the OCaml language. OCaml has some very nice properties, so this could also be interesting. However, the project gives more of a modular impression with several interoperating parts, and it remains to be seen how well the integration is. What excites me about Ur/Web is the fact that I can really put together a web application with just a handful of files, without much overhead. Also, installing Ur/Web from the source is simpler due to the small number of dependencies. On the other hand, Ocsigen is directly available in Debian, which of course makes the installation much easier.
We call it OPA - sounds very interesting based on the description, a development environment for web services and web applications based on OCaml with a focus on all the necessary basics such as XSS protection, SQL injection protection and similar.
Cadmium - Introduction - matching Cafesterol here is the OCAML Runtime in pure Java. With this, you can execute OCAML bytecode or use it as a runtime for programs compiled with Cafesterol.
Cafesterol - cool, an extension of the OCAML compiler that generates Java bytecode. With this, you can use OCaml not only to serve your own virtual machine and of course generate native code, but also go directly into the Java world.
Objective Caml Plugin for Xcode - unfortunately not yet with support for Intel CPUs.
CamlX - GUI shell for Ocaml and Caml Light (wow, that's ages ago, my tinkering with Caml Light - and the DOS port of Ocaml 1.0 ..)
HashCaml - an extension of Objective Caml, which allows type-safe data to be serialized and deserialized. Basis for example for remote function calls.
"The Whitespace Thing" for OCaml - Indentation as a syntax element (ala Python and Haskell) for OCaml. Interesting. Although OCaml already has minimal syntax overhead, so I don't really think it's necessary.
CamlServ is a web server in OCaml. I haven't looked at it in detail yet, but it could be interesting - OCaml is a language of the ML family (or the ML-like languages) with various very interesting extensions (e.g. a powerful object system). Unfortunately, the project does not seem to be very active anymore - last release from 2003 ...
( Syck ): YAML for Ruby, Python, PHP and OCaml - Yet another YAML parser and emitter - this one focuses on completeness, speed and cross-platform support