Tool support for the Z formal notation
A COW interpreter written in C
A powerful macro processor based on python
eXist-db is a feature rich Open Source native XML database
Template-based code generation language.
BCPL was designed by Martin Richards at Cambridge University (1966)
Text scraping and data munging language.
Converts (packages) Python programs into stand-alone executables
A Compiler Development Toolkit
A 100% Java Warren Abstract Machine implementation.
Cross-platform reimplementation of AMOS BASIC (runtime)
dependently typed functional programming language