Delve is a debugger for the Go programming language
ECLiPSe Constraint Logic Programming System
The world's first evidence-oriented programming language
An experimental BASIC language for Linux, Mac OS X, and Windows.
ASTRA is an implementation of AgentSpeak(TR)
Unified Test and Logging layer for multiple programming languages