Block or report user

Report or block daejunpark

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. kframework/k-legacy

    The K tools (deprecated, see README)

    Java 155 71

  2. kframework/javascript-semantics

    KJS: A Complete Formal Semantics of JavaScript

    JavaScript 53 12

  3. ethereum/vyper

    Pythonic Smart Contract Language for the EVM

    Python 2.2k 346

  4. kframework/vyper-semantics

    KVyper: Semantics of Vyper in K

    Python 30 4

  5. kframework/evm-semantics

    K Semantics of the Ethereum Virtual Machine (EVM)

    Makefile 214 67

590 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 runtimeverification/verified-smart-contracts that received 1 comment


+8 −0 1 comment

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