Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : clafer
Clafer is a general purpose, lightweight, structural modeling language developed at GSD Lab, University of Waterloo, and MODELS group at IT University of Copenhagen. Lightweight modeling aims at improving the understanding of the problem domain in the early stages of software development and determining the requirements with fewer defects. Clafer's goal is to make modeling more accessible to a wider range of users and domains. The tool provides a reference language implementation. It translates models to other formats (e.g. Alloy, JavaScript, JSON) to allow for reasoning with existing tools.
Registry
- Homepage
- JSON
purl: pkg:hackage/clafer
Keywords: library, mit, model, program
License: MIT
Latest release: about 7 years ago
First release: over 10 years ago
Dependent repositories: 1
Downloads: 10,947 total
Last synced: 29 days ago