Skip to content
View channgo2203's full-sized avatar

Block or report channgo2203

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

    Formalization of EVM in Coq

    Coq 5 1

  2. TinyROS TinyROS Public

    The essential kernel of Real-time Operating System

    3 1

  3. PSCV PSCV Public

    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

  4. while-static-analyzer while-static-analyzer Public

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

    OCaml 2

  5. PhotoEncryptor PhotoEncryptor Public

    Photo Encryptor for iOS including iPhone and iPad

    1

  6. PdgC PdgC Public

    Program Dependence Graph of C Programs

    OCaml 1