Popular repositories Loading

1. rushcheck rushcheck Public

   A lightweight (but tricky) random testing tool for Ruby

   Ruby 57 5

2. HoareLogic HoareLogic Public

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

   7

3. Pythagoras Pythagoras Public

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

   4 2

4. OnlineStudyMeetings OnlineStudyMeetings Public

   GitHubでオンライン勉強会

   4 1

5. ruby-kansai-ical ruby-kansai-ical Public

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

   Ruby 3 2

6. TPPmark2011 TPPmark2011 Public

   A proof of the problem TPP2011, called TPPmark

   2