Selected Tags

Click on a tag to remove it

Model packages

Showing projects tagged as Model

  • clafer

    8.6 0.0 Haskell
    Clafer is a lightweight modeling language
  • algebra-checkers

    7.5 0.0 Haskell
    checkers for algebra driven design
  • claferIG

    7.1 0.0 Haskell
    Support for reasoning on Clafer models by instantiation and counter example generation.
  • hCM

    1.7 0.0 Haskell
    Conceptual modeling support library for Haskell