Popular repositories Loading

1. rolldice rolldice Public

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

   C 51 13

2. racket racket Public

   Forked from racket/racket

   The Racket repository

   Racket 2 1

3. metalib metalib Public

   Forked from plclub/metalib

   The Penn Locally Nameless Metatheory Library

   Coq 1

4. matcher matcher Public

   Forked from dart-archive/matcher

   A declarative API for specifying expectations.

   Dart 1

5. lc-tc-interp lc-tc-interp Public

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

   OCaml

6. pentago pentago Public

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

   Ruby