As you may have guessed, this is an Arduino library to handle Pin Change Interrupts.