Block or report user

Report or block channgo2203

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. fevm

    Formalization of EVM in Coq

    Coq 4 2

  2. PSCV

    Monitor and aspect file generator which are used to automatically instrument SystemC code. The instrumented code can be used with Statistical Model Checking Tool Plasma Lab

    C++ 2

  3. while-static-analyzer

    An implementation of a simple static analyzer for While-like language

    OCaml 2

  4. PhotoEncryptor

    Photo Encryptor for iOS including iPhone and iPad

    1

  5. TinyROS

    The essential kernel of Real-time Operating System

    1

  6. PdgC

    Program Dependence Graph of C Programs

    OCaml 1

161 contributions in the last year

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

Contribution activity

July 2018

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