Apparently "Republic of Ireland" is officially the description but not the name of the state: https://en.wikipedia.org/wiki/Names_of_the_Irish_state

I guess it's similar to Germany being the "Federal Republic of Germany", or China being either the "People's Republic of China" (mainland) or the "Republic of China" (Taiwan).