Haskell Data Structures Model

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

Collect and Analyze Billions of Data Points in Real Time

Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

Promo www.influxdata.com



• claferIG

  6.9 0.0 Haskell

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