A list of the 4 libraries in the architecture stm32f4.

ADCTouchSensor Create Touch Sensors with a single analog pin without external hardware
ChirpSDK Chirp SDK
Servo Allows Arduino/Genuino boards to control a variety of servo motors.
Taskrunner Allows arduino to run scheduler which can run functions at specific frequency