Skip to content
View eskang's full-sized avatar

Highlights

  • Pro

Organizations

@sdg-mit

Block or report eskang

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

Popular repositories Loading

  1. validAlloy validAlloy Public

    A tool for validating Alloy specifications using test-case generation

    Java 5

  2. 500lines 500lines Public

    Forked from aosabook/500lines

    500 Lines or Less

    TeX 3 3

  3. SOP SOP Public

    2 1

  4. MappingSynthesisTool MappingSynthesisTool Public

    This repository contains a prototype implementation of the Mapping Synthesis Tool.

    Alloy 1

  5. RosAlloy RosAlloy Public

    Model of ROS in Alloy for security analysis

    Alloy 1

  6. 2PC-FSP 2PC-FSP Public

    Forked from qhr961217-CMU/2PC-FSP

    Two-Phase Commit Analysis with FSP

    1