BetaRare
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.
- Owner
- AlloyTools (organization)
- Stars
- Stars: 881
- Forks
- Forks: 151
- Language
- Java
- License
- None
- Created
- 2017
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by AlloyTools
All 2 repos by AlloyTools- AlloyTools/modelsStars: 145AlloyPrototype
Nearby in Java
All Java repos- Rano1/TopNewsStars: 881JavaBeta
- JakeWharton/DrawerBehaviorStars: 881JavaBeta
- SincereXIA/XidianCSStars: 881JavaBeta
- ata4/bspsrcStars: 881JavaBeta