10

8

6

4

2


8.5

2.4

6.7

3.9

3 Model packages and projects

  • clafer

    8.5 2.4 Haskell
    Clafer is a lightweight modeling language
  • algebra-checkers

    7.5 0.0 Haskell
    checkers for algebra driven design
  • Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
    Promo influxdata.com
    InfluxDB Logo
  • claferIG

    6.7 3.9 Haskell
    Support for reasoning on Clafer models by instantiation and counter example generation.

Add another 'Model' Package