Block or report user

Popular repositories

  1. multiarch-toolchain-buildscripts

    This repository has moved to https://gitlab.com/joaopizani/multiarch-toolchain-buildscripts

    Shell 9 16

  2. env.screenrc-ftw

    This repository has moved to https://gitlab.com/joaopizani/env.screenrc-ftw

    Shell 9 2

  3. env.modular-xplatform-vim-cfg

    This repository has moved to https://gitlab.com/joaopizani/env.modular-xplatform-vim-cfg

    HTML 6 1

  4. env.kindle3wifi-ssh

    This repository has moved to https://gitlab.com/joaopizani/env.kindle3wifi-ssh

    Shell 6

  5. piware-agda

    This repository has moved to https://gitlab.com/joaopizani/piware-agda

    Agda 3 1

  6. functional-hardware-survey

    This repository has moved to https://gitlab.com/joaopizani/functional-hardware-survey

    TeX 2

4 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

April - July 2017

joaopizani has no activity yet for this period.

March 2017

Created a pull request in vlopezj/coq-course that received 3 comments

Add myself to list of participants

Only a visitor, so the credits don't make much sense to me :) But regardless I'd like to participate, physically while I'm here for the meetings an…

1 contribution in private repositories Mar 3

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