Skip to content
View s-arash's full-sized avatar
  • Fortanix
  • Sunnyvale, CA

Block or report s-arash

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. ascent ascent Public

    Logic programming in Rust

    Rust 416 17

  2. VSCodeAlloyExtension VSCodeAlloyExtension Public

    An extension for VS Code supporting the Alloy modelling language

    TypeScript 9 2

  3. org.alloytools.alloy org.alloytools.alloy Public

    Forked from AlloyTools/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 switch…

    Java 10 3