| FAQ | Frequently asked questions about Alloy |
| Reference | Download language reference for Alloy 4 (PDF) |
| Comparisons | Comparisons to Z, B, VDM and OCL (PDF) |
| Grammar | A grammar for Alloy 4 in plain text (TXT), also see the cup file |
| Quick Guide | Overview of new features in Alloy 4 |
| Alloy API | Documentation for Alloy API |
| Alloy API Examples | examples of using the compiler, the ast, the evaluator |
| Online Tutorial | A step-by-step walkthrough and tutorial for Alloy 4 |
| Tutorial Slides | Slides for day-long tutorial by Rob Seater and Greg Dennis |
| Digital Humanities Tutorial | A tutorial introducing Alloy for digital humanities work, by C. M. Sperberg-McQueen |
