10

8

6

4

2


8.5

3.9

6.8

3.9

3 Model packages and projects

  • clafer

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

    7.5 0.0 Haskell
    checkers for algebra driven design
  • Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
    Promo www.influxdata.com
    InfluxDB Logo
  • claferIG

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

Add another 'Model' Package