AlloyTools/org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

125 best points · 22 comments · 1 Hacker News post · 885 GitHub stars · View on GitHub

Hacker News discussions

• Alloy is a language for describing structures and a tool for exploring them (125 points, 22 comments, by mooreds, 2019-10-09)