The Nearly Universal Kinematics Engine (NUKE) is finally out in a first beta. NUKE is a PyPose tool that allows users to setup an IK/Gait engine for their ArbotiX-powered bot, regardless of the size, servo orientation, etc (as long as it fits within an available template). Right now our templates only support 3DOF Lizard-legged 4 and 6 leg robots, however 3DOF Mammal-style leg support isn't far off, and low DOF Biped support is in the works. This is the same system that powered Issy, Roz, and Jeff to take the top 3 spots at CNRG's Walker Challenge. It takes about 20-30 minutes to setup your bot once you get the hang of what's going on. The output is fairly straight forward to expand/alter. It's mostly been running on Quads, I've yet to fully test it on Hexapods (first person to post a video of NUKE powering a hexapod gets a cookie at Robogames..)
NUKE is written in Python, and it exports a C/C++ Arduino project that runs on the ArbotiX. NUKE can be downloaded from our Google code site: http://code.google.com/p/arbotix/downloads/list. Documentation is also on that site. We also have a google group for support (it's very new, hence the low traffic) http://groups.google.com/group/robocontroller .
Some people deserve credit here. The Body IK is very similar to Xan's work on the Phoenix, as is the gait engine. Jon Hylands, Seth Cook, and a number of other people on this board have helped with debugging early versions.