Block or report user

Popular repositories

  1. rushcheck

    A lightweight (but tricky) random testing tool for Ruby

    59 Ruby

  2. HoareLogic

    Hoare Logic in Agda2 (import from


  3. OnlineStudyMeetings



  4. ruby-kansai-ical

    Ruby関西のスケジュールを iCalendar 形式で作成

    3 Ruby

  5. goa

    Offers an interface to be able to call Lambdabot commands within GHCi

    2 Haskell

  6. Pythagoras

    A proof of Pythagoras's theorem by Agda2 (from the original proof by Thierry Coquand)


12 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

July - September 2016

IKEGAMIDaisuke has no activity yet for this period.

June 2016

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