Back to search
Top Contributors
253
commits
65
commits
13
commits
5
commits
3
commits
2
commits
2
commits
2
commits
2
commits
2
commits
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.
Stars
827
Forks
140
Watchers
827
Open Issues
45
Overall repository health assessment
No package.json found
This might not be a Node.js project
253
commits
65
commits
13
commits
5
commits
3
commits
2
commits
2
commits
2
commits
2
commits
2
commits
Look for binaries in the System property 'app.dir' directory for conveyor
981ed34View on GitHubFixes #242. Zoompane with theme settings now grows with contents
74c63e8View on GitHub