10

8

6

4

2


8.6
0.0

7.1
0.0

3 Model packages and projects

  • clafer

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

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

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

Add another 'Model' Package