Block or report user

Report or block kotapiku

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. egison/egison

    Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, mult…

    Haskell 584 30

  2. competitive-pg

    my answer of competitive programming problems

    Rust 1

  3. othello-ai



760 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Activity overview
Contributed to egison/egison, kotapiku/dotfiles, cpu-3/compiler and 5 other repositories

Contribution activity

December 2018

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