Packages tagged model

4 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
algebra-checkers30.0Model and test API surfaces algebraically (bsd3, library, model)2020-03-19isovector
clafer50.0Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot. (library, mit, model, program)2017-03-13mantkiew
claferIG30.0claferIG is an interactive tool that generates instances of Clafer models. (library, mit, model, program)2017-03-13mantkiew
hCM30.0Conceptual modelling support for Haskell (data-structures, development, library, mit, model, program)2017-05-08MarekSuchanek