GalaxyHack allows you to design a fleet of spaceships which can then be tested in AI script based battles against fleets designed by other players. Though battles take place in real time, the strategy comes beforehand, both in writing short AI scripts in an easy-to-use proprietary scripting language, and also in the set up and selection of your forces.
This project is a collection of robots for the robocode framework. Robocode is an alphaworks project from IBM that provides an environment for creating software robots that compete against each other. This collection provides examples for people who wish to write their own robots.