Forgive me for not wading through 15 pages to see if this has been addressed already, but is there any project of this sort for string/M theory calculations? I've read and heard that they are fiendishly complicated and, at least up until a few years ago impossible to solve beyond approximations. Maybe there aren't enough interested people to make it work?
"By rocket to the moon. By airplane to the rocket, by taxi to the airport, by front door to the taxi. By throwing back the blanket, hanging down the legs."
-They Might Be Giants