Tool support for the Z formal notation
A powerful macro processor based on python
eXist-db is a feature rich Open Source native XML database
Programming language with expressive power and a simple implementation
Template-based code generation language.
Scheme Interpreter implemented in Java
BCPL was designed by Martin Richards at Cambridge University (1966)
A 100% Java Warren Abstract Machine implementation.
A Compiler Development Toolkit