Schoca is an implementation of the Scheme language in Objective Caml. It is still under development, and as such is missing some r5rs functionality (notably, macros), but may be useful as an embedded extension language in OCaml programs.
category-implementations