GitHub repository: samcoy3/alloy-primer
Primary language: TeX
Description: A short primer on the syntax and semantics of the modelling language and tool Alloy (alloy.mit.edu).