Block or report user

Popular repositories

  1. sandbox

    Verilog 2

  2. cats-win32


    Haskell 2

  3. yi

    Forked from yi-editor/yi

    The Haskell-Scriptable Editor

    Haskell 1

  4. CoqArt-section13

    Verilog 1

  5. catsem-ex

    Coq 1

  6. ac-ghc-mod

    ghc-mod interface for ghc-mod

    Emacs Lisp

0 contributions in the last year

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

Contribution activity First pull request First repository Joined GitHub

January - June 2017

wataruY has no activity yet for this period.

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