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
Next Scripting Framework (NSF)
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)
Text scraping and data munging language.
Open Design and Integration Environment
Converts (packages) Python programs into stand-alone executables
A 100% Java Warren Abstract Machine implementation.
A Compiler Development Toolkit