Ikegami Daisuke (@ikedaisuke)
github

ikedaisuke

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    82
  • Global Rank 239,858 (Top 9 %)
  • Followers 24
  • Following 5
  • Registered almost 14 years ago
  • Most used languages
    Ruby
         28.6 %
    Java
         14.3 %
    Shell
         14.3 %
    C
         14.3 %
    Haskell
         14.3 %
    Perl
         14.3 %
  • Location 🇯🇵 Japan
  • Country Total Rank 4,871
  • Country Ranking
    Haskell
         408
    Ruby
         415
    Perl
         725
    C
         2,641
    Java
         3,261
    Shell
         3,289

Top repositories

1

rushcheck

A lightweight (but tricky) random testing tool for Ruby
Ruby
57
star
2

HoareLogic

Hoare Logic in Agda2 (import from http://ocvs.cfv.jp/Agda/readmehoare.html)
7
star
3

Pythagoras

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

OnlineStudyMeetings

GitHubでオンライン勉強会
4
star
5

ruby-kansai-ical

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

TPPmark2011

A proof of the problem TPP2011, called TPPmark
2
star
7

goa

Offers an interface to be able to call Lambdabot commands within GHCi
Haskell
1
star
8

flymake-Haskell

A minor mode flymake for Haskell
Perl
1
star
9

flymake-LaTeX

A minor mode flymake for LaTeX
Shell
1
star
10

BLAST

Verification of some C programs using BLAST
C
1
star
11

Blogs

the entire contents of my blogs
Java
1
star