Haskell Data Structures Model

3 Model packages and projects

• algebra-checkers

  7.5 0.0 Haskell

  checkers for algebra driven design

• claferIG

  6.9 0.0 Haskell

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

Learn any GitHub repo in 59 seconds

Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

Promo getonboard.dev



• clafer

  8.6 0.0 Haskell

  Clafer is a lightweight modeling language