alloy (spec lang)

programming languages

Specificiation langauge, can be seen to model the single origin policy in web development

• https://alloytools.org/
• https://buttondown.email/hillelwayne/archive/maybe-software-engineers-could-learn-something/
• Alloy 6 features: https://www.hillelwayne.com/post/alloy6/