ikedaisuke/ikegamidaisuke.github.com
Github User Pages
Developer Profile
ikedaisuke
Discovered public repositories for ikedaisuke in the GitHub catalog.
ikedaisuke/TPPmark2011
A proof of the problem TPP2011, called TPPmark
ikedaisuke/Pythagoras
A proof of Pythagoras's theorem by Agda2 (from the original proof by Thierry Coquand)
ikedaisuke/BLAST
Verification of some C programs using BLAST
ikedaisuke/flymake-LaTeX
A minor mode flymake for LaTeX
ikedaisuke/flymake-Haskell
A minor mode flymake for Haskell
ikedaisuke/HoareLogic
Hoare Logic in Agda2
ikedaisuke/ruby-kansai-ical
Ruby関西のスケジュールを iCalendar 形式で作成
ikedaisuke/rushcheck
A lightweight (but tricky) random testing tool for Ruby