Arash Sahebolamri
Results
3
repositories owned by
Arash Sahebolamri
ascent
370
Stars
13
Forks
Watchers
logic programming in Rust
org.alloytools.alloy
8
Stars
2
Forks
Watchers
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...
VSCodeAlloyExtension
7
Stars
1
Forks
Watchers
An extension for VS Code supporting the Alloy modelling language