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-checkers | 5 | 0.0 | 0 | Model and test API surfaces algebraically | (bsd3, library, model) | 2022-11-19 | 0.1.0.1 | isovector |
| boardgame | 1 | 0.0 | 0 | Modeling boardgames | (game, library, mit, model, program) | 2021-04-19 | 0.0.0.1 | MartenAsberg |
| clafer | 92 | 0.0 | 3 | Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot. | (library, mit, model, program) | 2017-03-13 | 0.4.5 | mantkiew |
| claferIG | 40 | 0.0 | 1 | claferIG is an interactive tool that generates instances of Clafer models. | (library, mit, model, program) | 2017-03-13 | 0.4.5 | mantkiew |
| hCM | 6 | 0.0 | 0 | Conceptual modelling support for Haskell | (data-structures, development, library, mit, model, program) | 2017-05-08 | 0.1.0.0 | MarekSuchanek |