> Now people can find optimal sequences for patterns
> for the pyraminx, something that I don't think has
> been done before.
Well, it's been done before by many people, just not made generally available on the web.
I'm quite sure Claude and Thanh are the first to make their databases searchable on the web. I think this is a great piece of work, which can be very useful.
Also, Thanh's results for the Ultimate Skewb are new as far as I know. Claude kindly passed them on to me a while ago and allowed me to put them on my page.
I have often written my own programs to calculate God's algorithm and then to use it to solve patterns. I did it for the Pyraminx, 2x2x2 cube, diamond, pyramorphix, normal skewb amongst others. These programs were all quick hacks, not in any kind of state required for release to the public, so I suppose it doesn't really count. I'm sure several other people have done the same.
Jaap's Puzzle Page:
http://www.org2.com/jaap/puzzles