redmagic4/ClaferToolsUICommonPlatform
All common components to be shared within Clafer Tools UI
Developer Profile
redmagic4
Discovered public repositories for redmagic4 in the GitHub catalog.
redmagic4/ClaferConfigurator
An interactive, web-based, configurator for Clafer models.
redmagic4/ClaferMooVisualizer
An interactive tool for the visualization and exploration of the set of Pareto-optimal variants generated by ClaferMoo.
redmagic4/ClaferIDE
Web-Based Development Environment for Clafer
redmagic4/clafer
Clafer is a lightweight modeling language