[1] Postal addresses in the Republic of Ireland - Wikipedia, 5/11/2023, 4:40:10 AM, 5/25/2023, 4:40:56 AM https://en.wikipedia.org/wiki/Postal_addresses_in_the_Republic_of_Ireland#Eircode
Google search: Eircode