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.4 0.0 Haskell
    checkers for algebra driven design
  • claferIG

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

    2.0 0.0 Haskell
    Conceptual modeling support library for Haskell