This is libaire, an AVR C library on top of avr-libc that abstracts the internal devices of the AVR microcontroler in a protothreads-friendly way.
It was born as a part of the UPC Ventilator project and later on it was splitted as an independent project.