it's JC's tune finder and can be found at http://ecf-guest.mit.edu/~jc/music/abc/FindTune.html

or (for the URL challenged) JC's ABC tune finder