Packages tagged model

3 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (3), mit (3), program (3), data-structures (1), development (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
clafer390.0Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot. (library, mit, model, program)2017-03-13mantkiew
claferIG180.0claferIG is an interactive tool that generates instances of Clafer models. (library, mit, model, program)2017-03-13mantkiew
hCM80.0Conceptual modelling support for Haskell (data-structures, development, library, mit, model, program)2017-05-08MarekSuchanek