dbankier / JAST

JAST is a boilerplate with a mash of tools for rapid Alloy development
91 stars 15 forks source link