Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "model" keyword
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: about 7 years ago - 1.06 thousand downloads total - 1 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: about 7 years ago - 9.36 thousand downloads total - 1 maintainer
domain-optics 0.1.0.4
5 versions - Latest release: 5 months ago - 7 dependent repositories - 672 downloads total - 2 stars on GitHub - 1 maintainerclafer 0.4.5
Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, Univ...15 versions - Latest release: about 7 years ago - 1 dependent repositories - 10.9 thousand downloads total - 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 3 years ago - 8 dependent repositories - 858 downloads total - 46 stars on GitHub - 1 maintainer
algebra-checkers 0.1.0.1 💰
Please see the README on GitHub at https://github.com/isovector/algebra-checkers#readme2 versions - Latest release: over 1 year ago - 1 dependent repositories - 369 downloads total - 34 stars on GitHub - 1 maintainer
boardgame 0.0.0.1
Modeling boardgames1 version - Latest release: about 3 years ago - 1 dependent repositories - 235 downloads total - 4 stars on GitHub - 1 maintainer