Tool support for the Z formal notation
Expert System Tool
Delphi Java - VRCalc++ OOSL (Script) and + (Binary Exec Distro)
Jainja is a JVM (Java Virtual Machine) written in Java
Delphi : VRCalc++ OOSL & + (Paged List, TextEditor, VRAstroVision ...)
An hack of Jscheme with a lot of enhancements and additional features.
The Saxon XSLT and XQuery processor, developed by Saxonica
eXist-db is a feature rich Open Source native XML database
Emulator of the ancient 8 bit microprocessor SC/MP 2
Run BeanShell scripts by double-clicking them
Relational Database Management System
A Java VM for ARDUINO and other micros using the leJOS runtime.
A Java implementation of XProc: An XML Pipeline Language
Learning programming language for kids
A native Windows port of the GNU Compiler Collection (GCC)
A java packet sniffer and forger that wraps pcap libs.
Computer calculations made easy
A Logo interpreter and programming environment specialized for schools