Tyxml's Homepage

Tyxml is a library for type-checking XML data. It checks, at compile time, that your program cannot generate invalid data.

Modules exist for HTML5 and SVG.

Tyxml also defines pretty printers for these types.