Skip to content
View grayswandyr's full-sized avatar

Highlights

  • Pro

Block or report grayswandyr

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

    Formal analysis for the Electrod formal specification language

    OCaml 13 4

  2. haslab/Electrum haslab/Electrum Public

    A model checker for relational first-order temporal specifications

    Java 27 4

  3. haslab/Pardinus haslab/Pardinus Public

    Forked from emina/kodkod

    An extension of the Kodkod relational model finder

    Java 5 6

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

  5. shexp shexp Public

    Forked from janestreet/shexp

    Process library and s-expression based shell

    OCaml

  6. electrumAnalyzer electrumAnalyzer Public archive

    Electrum Analyzer (MIRROR REPOSITORY ONLY) see

    OCaml 4