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