GSD Lab

Popular repositories Loading

1. clafer clafer Public

   Clafer is a lightweight modeling language

   Haskell 48 15

2. claferIG claferIG Public

   Support for reasoning on Clafer models by instantiation and counter example generation.

   Haskell 11 6

3. claferwiki claferwiki Public

   A collaborative IDE for developing Clafer models.

   HTML 8 2

4. claferMPS claferMPS Public

   Meta-Programming System support for Clafer

   Shell 7 2

5. ClaferMooVisualizer ClaferMooVisualizer Public

   An interactive tool for the visualization and exploration of the set of Pareto-optimal variants generated by ClaferMoo.

   JavaScript 5 4

6. claferMooStandalone claferMooStandalone Public

   A multi-objective optimizer for attributed feature models with quality attributes and optimization objectives expressed in Clafer.

   Python 4 1