Arash Sahebolamri

icon company Fortanix icon location Sunnyvale, CA

Results 3 repositories owned by Arash Sahebolamri

ascent

371
Stars
13
Forks
Watchers

logic programming in Rust

verified publisher icon s-arash

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...

verified publisher icon s-arash

VSCodeAlloyExtension

7
Stars
1
Forks
Watchers

An extension for VS Code supporting the Alloy modelling language

verified publisher icon s-arash