2 packages found
New
A model-finding language with Alloy-adjacent syntax.
This package needs documentation
A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.
This package needs license metadata