GitHub / crillab / org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/crillab%2Forg.alloytools.alloy
Fork of AlloyTools/org.alloytools.alloy
Stars: 0
Forks: 0
Open issues: 0
License: other
Language: Java
Size: 19.1 MB
Dependencies parsed at: Pending
Created at: almost 6 years ago
Updated at: almost 6 years ago
Pushed at: almost 6 years ago
Last synced at: 6 days ago