ECLiPSe Constraint Logic Programming System
Self-contained tool for compiling and uploading Arduino sketches
Pure Trait-based Programming on the Java Platform
a DSL for type systems, reduction rules, interpreters for Xtext langs
An HDL alternative to PCB graphical schematic capture tools.
mojo provides fast analyzes for your business processes
Customized version of JavaCC 5.0
Converts (packages) Python programs into stand-alone executables