Įkurta 1994 m., AdaCore yra pagrindinis komercinių programinės įrangos sprendimų tiekėjas Ada kalbai, kuri yra sukurta didelėms programoms. Pagrindinis AdaCore produktas yra GNAT Pro kūrimo aplinka, kuri teikiama su ekspertų parama internetu ir yra prieinama kelioms platformoms, kaip ir visos kitos Ada technologijos.