Tess Strickland sstrickl

Popular repositories Loading

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

   C 51 13

3. Forked from plclub/metalib

   The Penn Locally Nameless Metatheory Library

   Coq 1

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

   OCaml

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

   Ruby