hackage.haskell.org "model" keyword
algebra-checkers 0.1.0.1
Please see the README on GitHub at https://github.com/isovector/algebra-checkers#readme2 versions - Latest release: over 3 years ago - 1 dependent repositories - 471 downloads total - 34 stars on GitHub - 1 maintainer
domain 0.1.1
For introduction and demo skip to Readme. For documentation and syntax reference see the Domain....7 versions - Latest release: almost 5 years ago - 8 dependent repositories - 1.18 thousand downloads total - 47 stars on GitHub - 1 maintainer
clafer 0.4.5
Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, Univ...15 versions - Latest release: almost 9 years ago - 1 dependent repositories - 11.8 thousand downloads total - 1 maintainer
domain-optics 0.1.0.4
5 versions - Latest release: about 2 years ago - 7 dependent repositories - 952 downloads total - 2 stars on GitHub - 1 maintainerboardgame 0.0.0.1
Modeling boardgames1 version - Latest release: almost 5 years ago - 1 dependent repositories - 343 downloads total - 4 stars on GitHub - 1 maintainer
claferIG 0.4.5
Clafer is a powerful (equivalent to first-order predicate logic) yet lightweight structural model...15 versions - Latest release: almost 9 years ago - 9.91 thousand downloads total - 1 maintainer
hCM 0.1.0.0 💰
hCM is the result of finding a suitable way how to support conceptual modelling within Haskell pr...1 version - Latest release: almost 9 years ago - 1.17 thousand downloads total - 1 stars on GitHub - 1 maintainer