Selected Tags

Click on a tag to remove it

Model packages

Showing projects tagged as Model

  • clafer

    8.5 3.9 Haskell
    Clafer is a lightweight modeling language

  • algebra-checkers

    7.5 0.0 Haskell
    checkers for algebra driven design

  • claferIG

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

  • hCM

    1.9 0.0 Haskell
    Conceptual modeling support library for Haskell