GitHub repository: Codecamv/AlloyDemoKit
Primary language: PLSQL
Description: A version of the Alloy reference site containing additional features for demoing purposes