Hi Chris,
No specific project. I've only taken the challenge to been able to program some bare metal sketch to Netduino (I've started first with some CMSIS), and while doing searches, I found this stm32duino project, so I gave it a try.
So, by now SD library and Arduino-uIP library has been integrated, but many others should work as is, since the others folks did a lot of work for STM32F1xx which should also work for F4xx.
Ciao !