Typing Programs

We are always on the look out for good typing programs.  Here are a few to try out