Block or report user

Report or block yzhang90

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Popular repositories

  1. jsmop

    C++

  2. radlm

    Python

  3. QosManager

    PostScript

  4. vyper

    Forked from ethereum/vyper

    New experimental programming language

    Python

  5. casper

    Forked from ethereum/casper

    Casper contract, daemon and related software and tests

    Python

  6. kat

    Forked from kframework/kat

    Shell

176 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2019

Created a pull request in kframework/evm-semantics that received 3 comments

MERGE symoblic-pr to master: STEP one

symbolic: Created module symbolic.md, Symbolic rules for ECREC. edsl, symbolic: added generalized byteStack2IntList(), refactoring of module depend…

+18 −1 3 comments

Seeing something unexpected? Take a look at the GitHub profile guide.