Zeeduino-XC, sure. What is it exactly? And keep it short, I've got some work to do...
Want to know more details on how it's made? What makes it tick? Details avaialble here.
Source for Zeeduino-XC and zeeduino-xc-lpc13xx port is available on GitHub. Go and check it out.