Here is a 4-bit LCD library for the STM32 that I based off of the LCD4BitLibrary for Arduino. It’s lightweight, but it also incorporates Arduino’s Print class.

http://github.com/kdar/STM32-LCD-4Bit