Gambit: Software Tools for Game Theory A very nice portable of game theory software and tools for the construction and analysis of finite extensive and normal form games.
GameTracer An implementation of the Govindan-Wilson continuation method for finding Nash Equilibria.