A free C, C++ and Fortran IDE
ECLiPSe Constraint Logic Programming System
Pure Trait-based Programming on the Java Platform
a DSL for type systems, reduction rules, interpreters for Xtext langs
mojo provides fast analyzes for your business processes
Customized version of JavaCC 5.0
Converts (packages) Python programs into stand-alone executables