JC's Tunefinder is probably the best online resource for such things. Though primarily a search facility for locating tunes in abc format, once found these can be displayed as staff notation in several graphic formats, or played as midi. You can find both these tunes there, though you'll get more results for the first if you search just for some say the devil, as the title varies.