Alloy library for software engineers?

Is there a repository with a more comprehensive set of Alloy models for web/server protocols?

Eunsuk Kang has Alloy files for web browser same origin policies and another for OAuth2 on his GitHub.

Jay Parlar mentioned he wrote up SAML for a client at StangeLoop 2019, but it doesn’t seem to be public.

I’m doing an Elastic Enterprise integration for a Fortune 500 and it is a complexity zoo - GitHub Enterprise, Atlassian products, Microsoft 365 Enterprise, AWS AMI, Active Directory, SAML, …

I don’t know of any. That would indeed be a good idea. There’s an ad hoc page on the official web site but it’s not populated…