Zephyr Workbench, a VSCode extension to manage Zephyr on STM32.
It enables users to easily create, develop, and debug Zephyr applications.
Main features:
Install host dependencies.
Import toolchain and SDK.
Create, configure, build and manage apps.
Debug STM32.
You can directly download it from the VSCode marketplace
For more details, visit the Zephyr Workbench
i believe one is completely software fp, the other redirects soft fp abi code to use the FPU, while the third generates pure floating point code without calling abi functions.