Pinned Repositories
alloydocs
Proposed documentation for alloytools.org
servirtium-python
A Python version of Servirtium
alloydocs
Proposed documentation for alloytools.org
Electrum2
Electrum is a temporal extension to 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.
osx-home
tester
vscode-alloy
Alloy syntax highlighting support for VSCode
vscode-tlaplus
TLA+ language support for Visual Studio Code
zsfre's Repositories
zsfre/alloydocs
Proposed documentation for alloytools.org
zsfre/Electrum2
Electrum is a temporal extension to 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.
zsfre/osx-home
zsfre/tester
zsfre/vscode-alloy
Alloy syntax highlighting support for VSCode
zsfre/vscode-tlaplus
TLA+ language support for Visual Studio Code