Galax - overview
Galax is an open-source implementation of XQuery, the W3C XML Query Language. It includes several advanced extensions for XML updates, scripting, and distributed programming. Galax comes with a state of the art compiler and optimizer. Most of Galax's architecture is formally documented, making it ideal for users interested in teaching XQuery, in building new language extensions, or developing new optimizations. Galax is implemented in O'Caml, a fast, modern, type-inferring, functional programming language descended from the ML (Meta Language) family.