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
Embeddable scripting runtime for live behavior, AI, and automation.
Template-based code generation language.
Scheme Interpreter implemented in Java
BCPL was designed by Martin Richards at Cambridge University (1966)
An object oriented language for concurrent software development
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
Small but nice syntax coloring PHP script