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
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
algebra-checkers90.00Model and test API surfaces algebraically (bsd3, library, model)2022-11-190.1.0.1isovector
boardgame70.00Modeling boardgames (game, library, mit, model, program)2021-04-190.0.0.1MartenAsberg
clafer540.03Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot. (library, mit, model, program)2017-03-130.4.5mantkiew
claferIG480.01claferIG is an interactive tool that generates instances of Clafer models. (library, mit, model, program)2017-03-130.4.5mantkiew
hCM80.00Conceptual modelling support for Haskell (data-structures, development, library, mit, model, program)2017-05-080.1.0.0MarekSuchanek