Packages tagged model

5 packages have this tag.

[Merge tag] (trustees only)

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

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