Tool support for the Z formal notation
The Saxon XSLT and XQuery processor, developed by Saxonica
eXist-db is a feature rich Open Source native XML database
emscripten'ed MRI
IDLE Extensions
A Java VM for ARDUINO and other micros using the leJOS runtime.
An object-oriented script language to embed in any application
Readable Lisp/S-expressions with infix, functions, and indentation
A functional programming language
A Logo interpreter and programming environment specialized for schools
foundation of the General Intelligence Operating System
A Compiler Development Toolkit
Cross-platform reimplementation of AMOS BASIC (runtime)
AMOS BASIC reimplementation in Java
The Advanced Algebraic Language.