Delve is a debugger for the Go programming language
Bug-fix-only libev port of shadowsocks
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