Mr. Mirko's famous SDK. You can use this to develop for the GP32. It's a replacement for the official one.