I'm fairly certain he's using http://www.pokerstove.com/