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...

= deriving = Extension to [http://caml.inria.fr OCaml] for deriving functions from type declarations. Includes derivers for pretty-printing, type-safe marshalling with structure-sharing, dynamic typing, equality, and more. * [http://code.google.com/p/deriving/downloads/list Download source]...

A framework for writing extensions to OCaml pattern matching. Examples included with the distribution: == [http://code.google.com/p/ocaml-patterns/wiki/LazyPatterns Pattern-matching for lazy values] == == Conjunctive patterns == Conjunctive patterns (as found in F#) generalis...

=pa_breakcont= This project makes use of the Ocaml release 3.10 macro system to add `break` and `continue` statements to `for` and `while` loops. The macros implement these statements as exceptions. Since the introduction of the two `try`/`with` blocks corresponding (each) to the (separat...

= 3.10 pa_bounds = [http://martin.jambon.free.fr/ Martin Jambon]'s pa_bounds macro provides run time array bounds checking on OCaml array, string and bigarray types. It is not needed in OCaml 3.10 which provides stack traces for runtime exceptions in native compilation mode. However, those wi...