I don't have a list, but I once wrote a software for finding the weak keys on Triple-DES using a functional-logic language. Writing the software was mostly defining the problem in a mathematical way, on the left side defining the hashing function and on the right side defining the desired properties (same output), leaving the hashes as free variables.

I have to say I was not only amazed by the exact solutions provided, but that it was found in 12 milliseconds - which includes program load and I/O time.