An IRC bot that deals heads up Texas Hold'em games