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)

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
algebra-checkers	2	0.0	0	Model and test API surfaces algebraically	(bsd3, library, model)	2022-11-19	0.1.0.1	isovector
boardgame	2	0.0	0	Modeling boardgames	(game, library, mit, model, program)	2021-04-19	0.0.0.1	MartenAsberg
clafer	3	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	4	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	5	0.0	0	Conceptual modelling support for Haskell	(data-structures, development, library, mit, model, program)	2017-05-08	0.1.0.0	MarekSuchanek

Showing 1 to 5 of 5 entries