Popular repositories

1. rolldice Public

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

   C 36 9

2. racket Public

   Forked from racket/racket

   The Racket repository

   Racket 1 1

3. matcher Public

   Forked from dart-lang/matcher

   A declarative API for specifying expectations.

   Dart 1

4. lc-tc-interp Public

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

   OCaml

5. metalib Public

   Forked from plclub/metalib

   The Penn Locally Nameless Metatheory Library

   Coq

6. pentago Public

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

   Ruby