ECLiPSe Constraint Logic Programming System
The Umple Model-Oriented Programming Technology
Machine Executable Language Ontology (MELO)
A probabilistic programming language in TensorFlow
"black technology" will improve development productivity by 1.5 to 5
Code generation from UML to any language (Java, Objective-C, PHP...)
The easiest C++ way to deal with constraints !
Finite State Machine; PHP; LUA;
vipera is an application designer for Python
OASIS Development Tool
Constraint Logic can solve word logic puzzles.