otty / apps
All apps/Alloy Analyzer

Alloy Analyzer

alloy-analyzer

Open-source language and analyzer for software modeling.

Runs as alloy|Linux|alloytools.org
otty.toml

Version windows

One manifest for every version
All versions
9c2d2d01430e759442ac68d96a18ec38db3c195823d8798d2f5331813d7208ad
dotfiles

JSON · TOML

A window holds from its version up to the next one’s. Otty picks the window from the version it finds installed, and a manifest with no window holds for all of them.