Alloy Tools is an open-source project maintained by a group of volunteers organized that can always use additional contributors.

Discourse forum is available for discussions related to Alloy development.

Stack Overflow is the main venue for posting questions and discussions about Alloy. Posts with the tag ‘‘alloy’’ are actively monitored by the developers of the language.

Get Involved

Have an Alloy project you would like to share? Email [email protected] to contribute to the resources available on this website.

Learn More

New to Alloy? Get started with some of the tutorials found here.

Want to learn more about Alloy? Check out our community-sourced papers, tools, models, and more about Alloy here.