https://www.google.ru/search?q=STM32CubeF4+...oGcf8ygOTvbCAAwпервый же результат:
http://www.st.com/web/en/catalog/tools/PF259243.zip в самом низу страницы.
Что HAL, что StdPeriph - выбор между чумой и холерой.
Впрочем, с помощью STM32CubeMX можно распределить периферию по ножкам и сгенерировать проект для быстрого старта.
Инициализацию периферии можно оставить родную, там они почти нигде не накосячили, а глубже разбираться с их HAL - только время терять.
Мне, как человеку "воспитанному по строгим древним правилам, ... , а довольное испытание подало потребное просвещение, дабы судить о вещах"© проще всю остальную работу с устройствами сделать самому.
Russia est omnis divisa in partes octo.