I am not aware of any ports. The stm32f4 is ARM based just like the Arduino Due, but from a different manufacturer (i.e., not ATMEL). Therefore the SAM3X libraries in Arduino 1.5.x would need to be replaced, which would require a lot of work.
On the other hand, I have been having a lot of luck programming a stm32f4 discovery board using the GNU ARM toolchain (available at https://launchpad.net/gcc-arm-embedded
) and the open source stlink software (at https://github.com/texane/stlink
) to compile and flash my programs. While this is a bit more work, ST provides a lot of libraries and examples that show how to interact with the board's peripherals (e.g. i2c, spi, etc.). I have this all set up under Mac OS 10.7 but from what I can gather it is much easier to do under windows.