Pinned Repositories
_nix-playground_
HoareLogic
Hoare Logic in Agda2 (import from http://ocvs.cfv.jp/Agda/readmehoare.html)
OnlineStudyMeetings
GitHubでオンライン勉強会
Pythagoras
A proof of Pythagoras's theorem by Agda2 (from the original proof by Thierry Coquand)
ruby-kansai-ical
Ruby関西のスケジュールを iCalendar 形式で作成
rushcheck
A lightweight (but tricky) random testing tool for Ruby
TPPmark2011
A proof of the problem TPP2011, called TPPmark
ikedaisuke's Repositories
ikedaisuke/rushcheck
A lightweight (but tricky) random testing tool for Ruby
ikedaisuke/HoareLogic
Hoare Logic in Agda2 (import from http://ocvs.cfv.jp/Agda/readmehoare.html)
ikedaisuke/OnlineStudyMeetings
GitHubでオンライン勉強会
ikedaisuke/Pythagoras
A proof of Pythagoras's theorem by Agda2 (from the original proof by Thierry Coquand)
ikedaisuke/ruby-kansai-ical
Ruby関西のスケジュールを iCalendar 形式で作成
ikedaisuke/TPPmark2011
A proof of the problem TPP2011, called TPPmark
ikedaisuke/BLAST
Verification of some C programs using BLAST
ikedaisuke/Blogs
the entire contents of my blogs
ikedaisuke/flymake-Haskell
A minor mode flymake for Haskell
ikedaisuke/flymake-LaTeX
A minor mode flymake for LaTeX
ikedaisuke/goa
Offers an interface to be able to call Lambdabot commands within GHCi
ikedaisuke/ElCapitan-overlay
Overlay for Gentoo Prefix packages on OSX ElCapitan
ikedaisuke/groebner
A tiny EDSL for polynomial computations in Haskell
ikedaisuke/helm-osx-dictionary.el
helm for looking up a word using osx-dictionary.el.
ikedaisuke/ikegamidaisuke.github.com
Github User Pages
ikedaisuke/osx-dictionary.el
Mac OS X Dictionary.app interface for Emacs
ikedaisuke/prelude
Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.
ikedaisuke/sage-gen
ikedaisuke/tumblr
Tumblr Themes