Tool support for the Z formal notation
A powerful macro processor based on python
RDF Rule Engine for SASSY
Tools to create and run scripts managing special kind of windows
A minimalistic but complete standard Forth compiler in C
eXist-db is a feature rich Open Source native XML database
Next Scripting Framework (NSF)
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)
Tight VM
An object oriented language for concurrent software development