Popular repositories

1. rolldice Public

   Repository for the old rolldice program I wrote back in 1999.

   C 34 9

2. racket Public

   Forked from racket/racket

   The Racket repository

   Racket 1 1

3. lc-tc-interp Public

   Example typechecker and interpreter for the lambda calculus extended with numeric operations.

   OCaml

4. metalib Public

   Forked from plclub/metalib

   The Penn Locally Nameless Metatheory Library

   Coq

5. pentago Public

   http://en.wikipedia.org/wiki/Pentago

   Ruby

6. ctrl-w Public

   Forked from badconker/ctrl-w

   Userscript pour le jeu web Mush (mush.vg)

   JavaScript