A system
to interface OCaml and .Net/C#. CSML makes it possible to leverage
existing .Net components from OCaml, to expose OCaml libraries into the
.Net world and more generally to write mixed OCaml/.Net applications.
With CSML, developers write scripts that describe interactions between
the two worlds (OCaml and .Net). It is possible to bind functions,
static or instance methods, properties, to pass opaque pointers from one
heap to the other, or to copy values structurally. CSML preserves type
safety properties from the two worlds, it propagates exceptions and
first-class functions in a sound way and it deals automatically with
memory management.

A Linux -> Win32 OCaml cross-compiler, developed and sponsored
by Red Hat's Fedora MinGW project[1]. Red Hat are sponsoring this
project so that we can build our OCaml virt tools for Windows without
the hassle of using Windows.

Neko is an intermediate programming language with
its virtual machine. The compiler is written in OCaml and the VM in C. It
might be interesting for people involved in language design, since Neko is
providing a common reusable runtime for language designers.

nML is a higher-order and typed programming language, and a dialect / harmony of Standard ML and Objective Caml. The nML compiler system drives the static analysis technologies to the limit, and it will embody the results of the LET project.

a dynamically typed functional language whose syntax conforms closely to that of OCaml. In addition, it supports overloaded, vectorized, math operations, list comprehensions, and optional and keyword arguments in uncurried argument tuples, possibly with specified default values. It can access OLE compliant, and low-level COM interfaces, supports serial I/O and socket based communication, and provides an ADO connection to external databases. An Emacs mode is supported through a hacked Tuareg interface, as well as a Tcl/Tk interactive browser and interaction window with list pane access to a user modifiable documentation database.

OCamlJit 2.0 is a Just-In-Time engine for Objective Caml 3.12.0 on desktop processors (x86/x86-64). It translates the OCaml byte-code used by the interpreter (ocamlrun and ocaml) to x86/x86-64 native code on-demand and runs the generated native code instead of interpreting the byte-code. It is designed to run with minimal compilation overhead (translating only what is being executed, avoiding costly code generation and optimization techniques), while being 100% compatible with the byte-code runtime (including serialization and hashing of closures, etc.).

Ocamljs compiles OCaml to Javascript. It uses the standard OCaml
front-end, so the full language is supported (the object system is
partially supported, should be fixed soon).
Included are several libraries for Web programming, as well as a
library for working with Javascript via Camlp4. It works with orpc for
RPC over HTTP, and with froc for functional reactive browser
programming.

Pasta is a cross-assembler for the MOS 6502 (also including 65C02 instructions), which
contains experimental support for automatic management of certain resources
(namely, zero-page memory locations), provided that you are prepared to use a
slightly restricted programming style.