Hello, I want to run a stepper motor using STM32F412 discovery board at its rated max speed. I am wondering if there are any compatible stepper libraries for that.

[Tesla DeLorean]

Check with Dr Google..

Perhaps broaden the search, most STM32 and F4 parts share a common TIMer block.