Selected Tags

Click on a tag to remove it

Model packages

Showing projects tagged as Data Structures and Model

  • clafer

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

    7.6 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