Tool support for the Z formal notation
The Saxon XSLT and XQuery processor, developed by Saxonica
eXist-db is a feature rich Open Source native XML database
A native Windows port of the GNU Compiler Collection (GCC)
A 100% Java Warren Abstract Machine implementation.