Somewhat belated, but I released an initial version on my IDE-independent Teensy/Arduino library. The basic idea is that the Arduino has a lot of great features, including an extensive user community and library of functions. Its weak point (which for many is not an issue) is the IDE and development process that you’re married to. libtweeno hopes to bypass that by providing a standard avr-gcc library that includes all the built-in features of the Arduino without the IDE constraints.
The library is available on nurometic.