ECLiPSe Constraint Logic Programming System
Machine Executable Language Ontology (MELO)
A probabilistic programming language in TensorFlow
Code generation from UML to any language (Java, Objective-C, PHP...)
The easiest C++ way to deal with constraints !
vipera is an application designer for Python
Constraint Logic can solve word logic puzzles.