zCOBOL portable mainframe COBOL compiler, part of the z390 project
Pseudo code to ‘C’ Codegenerator
JASTI (Java AST Inspector)
A choreography programming language for concurrent systems
Kammerjäger is a debugging tool with integrated correctness proving.
EaseFilter Comprehensive File Security SDK
IoC container for the configuration and design for experimental design