close
The Wayback Machine - https://web.archive.org/web/20211017084534/https://github.com/channgo2203
Skip to content
Avatar
12 followers · 0 following · 21
Block or Report

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. fevm Public

    Formalization of EVM in Coq

    Coq 5 1

  2. TinyROS Public

    The essential kernel of Real-time Operating System

    3 1

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

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

    OCaml 2

  5. PhotoEncryptor Public

    Photo Encryptor for iOS including iPhone and iPad

    1

  6. PdgC Public

    Program Dependence Graph of C Programs

    OCaml 1

98 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

October 2021

Created 3 repositories

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