Hamilcar is an XML application server inspired by Apache Cocoon for Objective Caml, using the Yaxi library. It is designed around the concept of a pipeline that is traversed during the processing of a request with control structures embedded in XML tags directing the process according to various criteria.
CDuce is a programming language adapted to writing safe and efficient applications that manipulate XML documents. A type system checks at compile time that applications deal with all the possible inputs and produce only valid outputs. Pattern matching is a powerful operation based on regular expressions to inspect documents. CDuce also features general-purpose features; it is a higher-order functional language, with a type-safe interface with Objective Caml.