GitHub repository: K1yps/Alloy4Fun
Description: A webapp for developing and sharing Alloy models