Popular repositories Loading

1. rushcheck rushcheck Public archive

   A lightweight (but tricky) random testing tool for Ruby

   Ruby 56 5

2. HoareLogic HoareLogic Public archive

   Hoare Logic in Agda2

   6

3. Pythagoras Pythagoras Public archive

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

   3 2

4. ruby-kansai-ical ruby-kansai-ical Public archive

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

   Ruby 2 2

5. TPPmark2011 TPPmark2011 Public archive

   A proof of the problem TPP2011, called TPPmark

   1

6. Blogs Blogs Public

   Java 1