Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: XML :: XML specific languages

Applications written in Caml

Scientific software

Scientific software
XDuce [14-Mar-2003, version 0.4.0, Beta] Has a documentation
XDuce ("transduce") is a typed programming language that is specifically designed for processing XML data. One can read an XML document as an XDuce value, extract information from it or convert it to another format, and write out the result value as an XML document. Since XDuce is statically typed, XDuce programs never yield run-time type errors and the resulting XML documents always conform specified types.
Author: Haruo Hosoya.

Others

Others
XSPP [20-Dec-2002, version 0.0.3, Beta] Has a documentation
XSPP stands for XSLT Stylesheet PreProcessor. It can be used to simplify writing XSLT stylesheets. It is result of author being terrified by xsl:call-template size.
Author: Michal Moskal.

Development tools

Development tools
xml2cd [07-Apr-2006, version alpha1, Alpha]
xml2cd is a cduce preprocessor that lets you embed cduce expressions in an xml files (and vice-versa) à la php (but with the nice cduce type checking). It supports namespaces, automatic dtd downloading etc...
Author: Till Varoquaux.
Development tools
XStream [29-Jun-2006, version 0.1, Beta] Has a documentation
XStream is a simple functional transformation language for XML documents. XML transformations written in XStream are evaluated in streaming: when possible, parts of the output are computed and produced while the input document is still being parsed. Some transformations can thus be applied to huge XML documents which would not even fit in memory.
Author: Alain Frisch.

Libraries

Native OCaml libraries

Native OCaml libraries
CDuce [08-Jul-2004, version 0.2.0, Beta] Has a Godi packageHas a documentationHas a tutorial
A strongly typed higher-order functional programming language for XML documents with an efficient type-based runtime implementation.
Author: Alain Frisch.