IP Core for VGA Interface of DE-10 Standard SOC Kit

Hello everyone, We want to develop an on-board GUI on DE-10 SOC Kit and want the GUI to get displayed on the VGA interface. Can you please guide us as to what readily available IP cores will be...