The extant tunes are those given in Bunting and in Sean O'Boyle: The Irish Song Tradition, but ABCs of midi notation are not within my skills - as yet. Do you want full refs?