Is anyone aware of an open source exhaustive list of geocoded (WGS84 lat long) zip codes for the Republic of Ireland.
Republic of Ireland unfortunately uses their own solution for postal codes called Eircode, which has closed source and working on it directly comes with some license fees, that aren't even publicly listed on their website.
I have done some research and found small database that's good enough for most use cases database of postcodes (grouped by routing keys) that also comes with names and WSG84 geographical coordinates.
The database can be found below under "IE.zip" filename: https://download.geonames.org/export/zip/
postal codes lat long turned up this: https://www.freemaptools.com/download-uk-postcode-lat-lng.htm