Delve is a debugger for the Go programming language
ChatDBG - AI-assisted debugging. Uses AI to answer 'why'
ECLiPSe Constraint Logic Programming System
The world's first evidence-oriented programming language
ASTRA is an implementation of AgentSpeak(TR)
Unified Test and Logging layer for multiple programming languages