Arith redex model.
Binary numbers in racket.
Some Brandeis SICP stuff.
A silly solitaire player.