Block or report user

Report or block chrihop

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. coq

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml

  2. homebrew-gcc_cross_compilers

    Forked from sevki/homebrew-gcc_cross_compilers

    Ruby 1

0 contributions in the last year

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

Contribution activity

January - August 2018

chrihop has no activity yet for this period.

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