Tady se dá něco najít :
http://www.elektromys.eu/stm32.php
Ovšem je to cíleno na SPL a LL - HAL je na zbytku internetu.
Pokud s tím začínáš, doporučuji jít cestou LL (nebo již nepodporované SPL). HAL je přerostlá obludnost, které stejně využívá ten LL.
Osobně jsem se učil tak, že jsem si vymyslel aplikaci a tu jsem začal realizovat - datashit, referenční manuál, příklady na Githubu, návody na netu. Sice je to delší cesta, ale naučíš se to dobře.