/alloy-viz

(my verification project for cs5110 / cs6110) A vscode extension that adds live visualizations of alloy type structures to vscode. (also includes some basic some basic langauge support)

Primary LanguageTypeScript

Watchers