Tool support for the Z formal notation
A powerful macro processor based on python
BASIC-like language interpreter for embedded systems
Template-based code generation language.
Converts (packages) Python programs into stand-alone executables
A 100% Java Warren Abstract Machine implementation.
Lisp interpreter for the PSP + UNIX-clones.