I'm working on a new Arduino compatible platform. More about that in a later update. In the meantime here is a little Instructable about how to make an IR proximity sensor using an Arduino compatible and $2.42 of components.
By the way, has anyone made a cool project with ExtraCore? Feedback and photo's would be appreciated.