Haskell Data Structures Model

3 Model packages and projects

• algebra-checkers

  7.5 0.0 Haskell

  checkers for algebra driven design

• claferIG

  6.8 3.9 Haskell

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

InfluxDB - Power Real-Time Data Analytics at Scale

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



• clafer

  8.5 3.9 Haskell

  Clafer is a lightweight modeling language