Pinned Repositories
alloy-hugo-demo
Proof of concept of switching Alloytools from Jekyll to Hugo
AoC
Advent of Code
pygments-alloy
Syntax highlighting for Electrum
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.
validAlloy
A tool for validating Alloy specifications using test-case generation
fm-courses
List of Formal Methods Courses
echo
A tool for model repair and transformation
electrum-old
halex
RailML-Utilities
railML validation tool
alcinocunha's Repositories
alcinocunha/AoC
Advent of Code
alcinocunha/alloy-hugo-demo
Proof of concept of switching Alloytools from Jekyll to Hugo
alcinocunha/pygments-alloy
Syntax highlighting for Electrum