AlloyTools/org.alloytools.alloy
@AlloyToolsAlloy 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.
Stars
865
Forks
149
Language
Java
License
NOASSERTION
Last push
3 months ago
Related intel (0)
No related intel yet
This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.