DisplayCore is a professional grade graphics framework for the PIC32 family of microcontrollers. It boasts support for many devices, and a completely modular design.
With full interactive widget support it makes designing user interfaces a breeze.
DisplayCore has a website at: [[http://displaycore.org]]