10

8

6

4

2


7.1
0.0

8.6
0.0

3 Model packages and projects

  • 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.
  • Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
  • clafer

    8.6 0.0 Haskell
    Clafer is a lightweight modeling language

Add another 'Model' Package